Skip to content
Commit a35cc8ff authored by Tom Tromey's avatar Tom Tromey
Browse files

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.

parent d3acf3d7
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment