12345 67890 added the comment:
The user is going to have to outdent anyway if we return them to the previous
indentation level. Essentially it would be this:
[ENTER]
set_cursor_to_previous_indentation_level()
if first_char_in_is_space:
erase_first_char_in()
reset_cursor_to_zero_indentation()
type_first_char()
else:
pass
So if we have this line:
some_line
[ENTER]
some_line
^
[BACKSPACEX4]
some_line
^
<---- cursor direction
The other case is
some_line
[ENTER]
some_line
^
[SPACEX4]
some_line
^
----> cursor direction
Does that make sense?
----------
_______________________________________
Python tracker <rep...@bugs.python.org>
<http://bugs.python.org/issue29339>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe:
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
