diff options
author | Damien George <damien.p.george@gmail.com> | 2015-11-04 12:29:33 +0000 |
---|---|---|
committer | Damien George <damien.p.george@gmail.com> | 2015-11-07 13:07:43 +0000 |
commit | b7ca9458773ee18c0b0bb4de55b670e06b70ecc5 (patch) | |
tree | 8ed32290b8f9af20c027d800e2ddb63878d18421 /docs/reference/repl.rst | |
parent | e6dccaf18eaaf7aeb80c51c796c2d2036ff49b6b (diff) |
lib/mp-readline: Make it easy to exit auto-indent mode by pressing enter.
This patch allows you to stop auto-indent by pressing enter on a second
blank line. Easier than having to use backspace, and prevents new users
from getting stuck in auto-indent mode.
Diffstat (limited to 'docs/reference/repl.rst')
-rw-r--r-- | docs/reference/repl.rst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/reference/repl.rst b/docs/reference/repl.rst index c03cbfd38..0e481996f 100644 --- a/docs/reference/repl.rst +++ b/docs/reference/repl.rst @@ -49,6 +49,10 @@ Finally type ``print(i)``, press RETURN, press BACKSPACE and press RETURN again: 3 >>> +Auto-indent won't be applied if the previous two lines were all spaces. This +means that you can finish entering a compound statment by pressing RETURN +twice, and then a third press will finish and execute. + Auto-completion --------------- |