| commit | 53f4a9f5a8113a6da9721f87135bafb5ab627c3d | [log] [tgz] |
|---|---|---|
| author | Benno Schulenberg <bensberg@justemail.net> | Mon Apr 25 21:14:18 2016 +0200 |
| committer | Benno Schulenberg <bensberg@justemail.net> | Mon Apr 25 21:14:18 2016 +0200 |
| tree | 3311c0902ea36f0b4a3c34fc7f6d3f6b8e728327 | |
| parent | b97c36c2184d0c6a7123d81ec6a8fabda253b7ba [diff] |
screen: rename 'edit_refresh_needed' to 'refresh_needed' For a little contrast with the function edit_refresh() -- it's annoying that when you search for the latter you get to see all the settings of the flag too.