diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2018-10-14 22:18:13 +0200 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2018-10-14 22:29:52 +0200 |
| commit | 9a7b374758617af69594ef7b3ed83a5cb59db433 (patch) | |
| tree | b470fa7e05d939f0329b756edecdfbd34b27b844 /README.rst | |
| parent | 3d0dc9ffc1023210bb54650065807085b53a6926 (diff) | |
menuconfig: Fix some minor resizing jumpiness on gnome-terminal
gnome-terminal jerks a bit whenever the terminal is shrunk so that the
row with the cursor on it disappears. This is probably gnome-terminal
shoddiness, but it's pretty easy to work around by drawing stuff at the
top last, so do it.
No need to do it for the jump-to dialog, because the cursor is already
in the edit box at the top there.
Diffstat (limited to 'README.rst')
0 files changed, 0 insertions, 0 deletions