Introduce /redraw command

`/redraw` command allows resolve problem for usual users,
as well as developers.

Incredibly useful when debugging with something that
can trash out the output, like GDB.

Not to mention many asynchronous commands that can break the UI
at any point.
This commit is contained in:
John Hernandez
2023-11-13 12:57:50 +01:00
parent 08d2a51ae4
commit a1ff88caae
3 changed files with 21 additions and 0 deletions

View File

@@ -9727,6 +9727,14 @@ cmd_correct_editor(ProfWin* window, const char* const command, gchar** args)
return TRUE;
}
gboolean
cmd_redraw(ProfWin* window, const char* const command, gchar** args)
{
ui_resize();
return TRUE;
}
gboolean
cmd_silence(ProfWin* window, const char* const command, gchar** args)
{