##// END OF EJS Templates
Remove unused _full_dedent attribute
Thomas Kluyver -
Show More
@@ -313,8 +313,6 b' class InputSplitter(object):'
313 313 _buffer = None
314 314 # Command compiler
315 315 _compile = None
316 # Mark when input has changed indentation all the way back to flush-left
317 _full_dedent = False
318 316 # Boolean indicating whether the current block is complete
319 317 _is_complete = None
320 318 # Boolean indicating whether the current block has an unrecoverable syntax error
@@ -335,7 +333,6 b' class InputSplitter(object):'
335 333 self.code = None
336 334 self._is_complete = False
337 335 self._is_invalid = False
338 self._full_dedent = False
339 336
340 337 def source_reset(self):
341 338 """Return the input source and perform a full reset.
@@ -494,7 +491,6 b' class InputSplitter(object):'
494 491 def _update_indent(self):
495 492 # self.source always has a trailing newline
496 493 self.indent_spaces = find_next_indent(self.source[:-1])
497 self._full_dedent = (self.indent_spaces == 0)
498 494
499 495 def _store(self, lines, buffer=None, store='source'):
500 496 """Store one or more lines of input.
General Comments 0
You need to be logged in to leave comments. Login now