| commit | 41ed6907911445d4bf28682762866621595f042f | [log] [tgz] |
|---|---|---|
| author | Benno Schulenberg <bensberg@justemail.net> | Sat Apr 23 15:38:40 2016 +0200 |
| committer | Benno Schulenberg <bensberg@justemail.net> | Sat Apr 23 15:46:31 2016 +0200 |
| tree | c06086f2d857c9222f687c4c3e06b319f9a258fa | |
| parent | 553b7af355ab9fd313f79c11ebd2e4227e184469 [diff] |
tabbing: refresh the edit window in case a previous tab listed names Commit 36ec76a made the wrong change: after a tab that did not list any file names on the screen, a refresh /is/ needed, because a previous tab might have listed things on the screen. But at the end of the prompt, it is not necessary to refresh the edit window if things were listed, because the window will be refreshed anyway after reading in a file.