Merge pull request #1931 from H3rnand3zzz/feature/redraw-command

Introduce `/redraw` command
This commit is contained in:
Michael Vetter
2023-11-14 14:02:47 +01:00
committed by GitHub
3 changed files with 21 additions and 0 deletions

View File

@@ -9730,6 +9730,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)
{