| commit | a35cc8ff85af39f571dcba2446ed47b6c65ddca9 | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tom@tromey.com> | Sat Jun 29 10:07:20 2024 -0600 |
| committer | Tom Tromey <tom@tromey.com> | Sat Sep 07 14:23:04 2024 -0600 |
| tree | c1f19696ae63265036d8896dfb91cccee3a2f9cc | |
| parent | d3acf3d759d085df544687b39a0c2900d3117bf7 [diff] |
Remove tui_wrefresh This removes tui_wrefresh, moving the code into refresh_window. We remove tui_norefresh_window as well, because now the command window's refresh_window has to do what tui_wrefresh previously did.