diff options
| author | Chris Young <chris@unsatisfactorysoftware.co.uk> | 2016-07-03 16:55:00 +0100 |
|---|---|---|
| committer | Chris Young <chris@unsatisfactorysoftware.co.uk> | 2016-07-03 16:55:00 +0100 |
| commit | 65bf58e4a1999fca0de1279e143f714acc19fe8d (patch) | |
| tree | 38a043b326bc531a8b8cecc0774a3c7e835eac71 /frontends/amiga/gui_options.c | |
| parent | 313c48b8a15b6ebe683ceb8a995c62e2e0e97616 (diff) | |
| download | netsurf-65bf58e4a1999fca0de1279e143f714acc19fe8d.tar.gz netsurf-65bf58e4a1999fca0de1279e143f714acc19fe8d.tar.bz2 | |
Remove ami_menu_toggle_checked global
Diffstat (limited to 'frontends/amiga/gui_options.c')
| -rwxr-xr-x | frontends/amiga/gui_options.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/frontends/amiga/gui_options.c b/frontends/amiga/gui_options.c index 344d82309..21067fb40 100755 --- a/frontends/amiga/gui_options.c +++ b/frontends/amiga/gui_options.c @@ -2061,8 +2061,7 @@ static void ami_gui_opts_use(bool save) ami_font_savescanner(); /* just in case it has changed and been used only */ } - ami_menu_check_toggled = true; - + ami_menu_set_check_toggled(); ami_update_pointer(gow->win, GUI_POINTER_DEFAULT); } |