diff options
| author | Chris Young <chris@unsatisfactorysoftware.co.uk> | 2017-01-15 17:51:55 +0000 |
|---|---|---|
| committer | Chris Young <chris@unsatisfactorysoftware.co.uk> | 2017-01-15 17:51:55 +0000 |
| commit | b78d6f458e5d5cb9c78d7430aacf10abd227eb32 (patch) | |
| tree | 9cd1ad8616923aa47b297deec72a2bc7c701a296 /frontends/amiga/gui_menu.h | |
| parent | b8640956d48af03f2f7f6c07e66958fa825a4972 (diff) | |
| download | netsurf-b78d6f458e5d5cb9c78d7430aacf10abd227eb32.tar.gz netsurf-b78d6f458e5d5cb9c78d7430aacf10abd227eb32.tar.bz2 | |
Attempt hotlist menu refresh
Diffstat (limited to 'frontends/amiga/gui_menu.h')
| -rw-r--r-- | frontends/amiga/gui_menu.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/frontends/amiga/gui_menu.h b/frontends/amiga/gui_menu.h index a9de69a46..16fc72040 100644 --- a/frontends/amiga/gui_menu.h +++ b/frontends/amiga/gui_menu.h @@ -142,6 +142,10 @@ void ami_gui_menu_set_checked(struct Menu *menu, int item, bool check); */ void ami_gui_menu_set_disabled(struct Window *win, struct Menu *menu, int item, bool disable); +/** + * Refresh the Hotlist menu + */ +void ami_gui_menu_refresh_hotlist(void); /** * Gets if NetSurf has been quit from the menu |