Merge pull request #2042 from minrk/scrolltweak
Increase auto-scroll threshold to 100 lines.
It is more important that we not be surprising or annoying than we auto-hide moderately long output. The manual toggle is always available for intermediate outputs.
Also explicitly ignore shift keydown in our keycode handler, which prevented the sequence:
<ctrl> M <shift> o
from being recognized, as the shift keypress would reset the control-key state.
commit
b68f7f620e
Loading…
Reference in new issue