| commit | 79e3eaf73c0d8ff77800c0bb9ecd01d93ad48a89 | [log] [tgz] |
|---|---|---|
| author | Benno Schulenberg <bensberg@justemail.net> | Tue Jun 21 16:10:16 2016 +0200 |
| committer | Benno Schulenberg <bensberg@justemail.net> | Tue Jun 21 16:25:07 2016 +0200 |
| tree | 8abeaf574c280018a976ee74ef056147cdc93f36 | |
| parent | 9106cc8ecce87ebdd01a330b0e1e4eedb8e5d2b8 [diff] |
linter: refresh the edit window in order to actually place the cursor This fixes https://savannah.gnu.org/bugs/?48283.