diff options
| author | Damien George <damien@micropython.org> | 2022-03-08 11:11:23 +1100 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2022-04-22 17:00:16 +1000 |
| commit | 6d401be4dd0164cb197a05c7419f7b6ef5bbdf51 (patch) | |
| tree | 1f7ce1e103a5072a0800aacaf3e791289ad151d3 /tests/cmdline/repl_autoindent.py | |
| parent | a8f23f6366b7bb258c7c34a45a3a9bde99e4a32b (diff) | |
shared/readline: Disable auto-indent if space/tab follows added indent.
Auto-indent still works as the default behaviour, but it is now undone and
disabled if there is a space/tab immediately after an automatically-added
indent. This makes the REPL behaviour closer to CPython, and in particular
allows text to be pasted at the normal REPL.
Addresses issue #7925.
Signed-off-by: Damien George <damien@micropython.org>
Diffstat (limited to 'tests/cmdline/repl_autoindent.py')
0 files changed, 0 insertions, 0 deletions