| commit | 36ec76a508f9aee6aeea4bb6195864f31acbeca7 | [log] [tgz] |
|---|---|---|
| author | Benno Schulenberg <bensberg@justemail.net> | Sun Apr 17 18:09:24 2016 +0200 |
| committer | Benno Schulenberg <bensberg@justemail.net> | Sun Apr 17 18:12:53 2016 +0200 |
| tree | bc2ab389e29fbdf4d1ac00b91ebab23a02830622 | |
| parent | eb2661dc2d7325aa656f3631c41ef7772cc5f88b [diff] |
tabbing: don't refresh the edit window when nothing was printed on it This is a remnant from 2001, when things were different. Now, there is no need to refresh the edit window when tabbing produced no list. When it did produce a list, it is cleared off later.