Commit d772fd9
committed
gh-148321: use --quit-if-one-screen option for the pager (new REPL)
Currently, by passing --clear-screen (-c) to the pager --- small texts (like
few-sentences docstrings) are shown at top of the screen, just as big texts.
I believe it would be better to show this inline instead, not clearing
last session commands with output and so on. BTW, this is the default
for git commands, e.g. git-log. Of course, we loose on this way ability
to use pager for search, but terminal emulators usually have similar
capability on its own.1 parent 1a0edb1 commit d772fd9
1 file changed
+1
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
138 | 138 | | |
139 | 139 | | |
140 | 140 | | |
141 | | - | |
| 141 | + | |
142 | 142 | | |
143 | 143 | | |
144 | 144 | | |
| |||
0 commit comments