diff options
-rw-r--r-- | atari/deskmenu.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/atari/deskmenu.c b/atari/deskmenu.c index 7e593fd54..b1dca1216 100644 --- a/atari/deskmenu.c +++ b/atari/deskmenu.c @@ -383,7 +383,8 @@ static void __CDECL menu_inc_scale(short item, short title, void *data) return;
float now = plot_get_scale(); plot_set_scale(now+0.25);
- LOG(("%s, scale: %f", __FUNCTION__, plot_get_scale()));
+ LOG(("%s, scale: %f", __FUNCTION__, plot_get_scale())); + gui_window_redraw_window(input_window);
} @@ -395,7 +396,8 @@ static void __CDECL menu_dec_scale(short item, short title, void *data) if (now > 0.5) { plot_set_scale(now-0.25); }
- LOG(("%s, scale: %f", __FUNCTION__, plot_get_scale()));
+ LOG(("%s, scale: %f", __FUNCTION__, plot_get_scale())); + gui_window_redraw_window(input_window);
} |