![[tokkee]](http://tokkee.org/images/avatar.png){kind=avatar}
| author | Max Kellermann <max.kellermann@gmail.com> | |
| Mon, 20 Mar 2017 12:08:01 +0000 (13:08 +0100) | ||
| committer | Max Kellermann <max.kellermann@gmail.com> | |
| Mon, 20 Mar 2017 12:08:01 +0000 (13:08 +0100) | ||
| commit | e52df3dd5be37471c4fceceb683479bd81bdec27 | |
| tree | 01bc71f79a99b67528a9f96cf4f151486a1f39c9 | tree | snapshot |
| parent | a5149453b94379335a78efe346e410f8ef248d53 | commit | diff |
screen_*: eliminate redundant wrefresh() calls
This is already called by screen_refresh().
This is already called by screen_refresh().