diff options
| -rw-r--r-- | atari/deskmenu.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/atari/deskmenu.c b/atari/deskmenu.c index 82de7d6cd..ee8855cb0 100644 --- a/atari/deskmenu.c +++ b/atari/deskmenu.c @@ -818,5 +818,6 @@ void deskmenu_update(void) (nsoption_bool(foreground_images)) ? 1 : 0); menu_icheck(h_gem_menu, MAINMENU_M_BG_IMAGES, (nsoption_bool(background_images)) ? 1 : 0); + menu_icheck(h_gem_menu, MAINMENU_M_VLOG, ((verbose_log == true) ? 1 : 0)); } |