| commit | a4132e2e64e2777fe61a437fb4fa398837dca01a | [log] [tgz] |
|---|---|---|
| author | Benno Schulenberg <bensberg@justemail.net> | Sat Nov 12 17:59:28 2016 +0100 |
| committer | Benno Schulenberg <bensberg@justemail.net> | Sat Nov 12 18:02:03 2016 +0100 |
| tree | 7c20bcdb272421182f5b392abd893ddc15b30b7b | |
| parent | 8a66c820abc4478b5247795fbf2fecedf3e1acf3 [diff] |
screen: do a refresh before changing the value of 'focusing' This fixes https://savannah.gnu.org/bugs/?49530.