Call repaint_screen() in screen repaint command handling.

This commit is contained in:
Andrew Borodin 2009-06-05 19:17:18 +04:00
parent 9c9180ce81
commit 3318a5fd98
2 changed files with 10 additions and 10 deletions

View File

@ -125,17 +125,17 @@ void edit_help_cmd (WEdit * edit)
void edit_refresh_cmd (WEdit * edit) void edit_refresh_cmd (WEdit * edit)
{ {
#ifndef HAVE_SLANG #ifdef HAVE_SLANG
clr_scr();
do_refresh();
#else
{ {
int color; int color;
edit_get_syntax_color (edit, -1, &color); edit_get_syntax_color (edit, -1, &color);
} }
tty_touch_screen (); tty_touch_screen ();
#endif /* !HAVE_SLANG */
tty_refresh (); tty_refresh ();
#else
clr_scr();
repaint_screen ();
#endif /* !HAVE_SLANG */
} }
/* If 0 (quick save) then a) create/truncate <filename> file, /* If 0 (quick save) then a) create/truncate <filename> file,

View File

@ -563,14 +563,14 @@ dialog_handle_key (Dlg_head *h, int d_key)
/* Fall through */ /* Fall through */
case XCTRL('l'): case XCTRL('l'):
#ifndef HAVE_SLANG #ifdef HAVE_SLANG
tty_touch_screen ();
tty_refresh ();
#else
/* Use this if the refreshes fail */ /* Use this if the refreshes fail */
clr_scr (); clr_scr ();
do_refresh (); repaint_screen ();
#else
tty_touch_screen ();
#endif /* HAVE_SLANG */ #endif /* HAVE_SLANG */
tty_refresh ();
break; break;
default: default: