diff options
| author | Chris Young <chris@unsatisfactorysoftware.co.uk> | 2011-11-07 18:51:08 +0000 |
|---|---|---|
| committer | Chris Young <chris@unsatisfactorysoftware.co.uk> | 2011-11-07 18:51:08 +0000 |
| commit | a98fb7c4ddb7e25373148dfdc7d5d1a2c0a296c2 (patch) | |
| tree | e3b8807a06dbba2511e72526d7949f72d2c3089d /amiga/menu.c | |
| parent | 4ba282c9c9dafa124237aa50312125e5a003c375 (diff) | |
| download | netsurf-a98fb7c4ddb7e25373148dfdc7d5d1a2c0a296c2.tar.gz netsurf-a98fb7c4ddb7e25373148dfdc7d5d1a2c0a296c2.tar.bz2 | |
Reimplement the previous hotlist menu refresh code, as the bug causing the previous
problems was fixed ages ago. Make the timing configurable for now but default to off.
svn path=/trunk/netsurf/; revision=13135
Diffstat (limited to 'amiga/menu.c')
| -rwxr-xr-x | amiga/menu.c | 14 |
1 files changed, 5 insertions, 9 deletions
diff --git a/amiga/menu.c b/amiga/menu.c index 72c955c41..f55bedd30 100755 --- a/amiga/menu.c +++ b/amiga/menu.c @@ -63,6 +63,7 @@ #include "desktop/selection.h" #include "desktop/textinput.h" #include "utils/messages.h" +#include "utils/schedule.h" #define IMAGE_MENU_ITEM(n, i, t) \ gwin->menulab[n] = LabelObject, \ @@ -254,7 +255,7 @@ void ami_init_menulabs(struct gui_window_2 *gwin) gwin->menutype[AMI_MENU_AREXX_MAX] = NM_END; } -/* Menu refresh for hotlist - disabled, see below. +/* Menu refresh for hotlist */ void ami_menu_refresh(struct gui_window_2 *gwin) { SetAttrs(gwin->objects[OID_MAIN], @@ -267,10 +268,7 @@ void ami_menu_refresh(struct gui_window_2 *gwin) SetAttrs(gwin->objects[OID_MAIN], WINDOW_NewMenu, gwin->menu, TAG_DONE); - - schedule(6000,(void *)ami_menu_refresh,gwin); } -*/ struct NewMenu *ami_create_menu(struct gui_window_2 *gwin) { @@ -299,11 +297,9 @@ struct NewMenu *ami_create_menu(struct gui_window_2 *gwin) ami_menu_scan(ami_tree_get_tree(hotlist_window), false, gwin); ami_menu_arexx_scan(gwin); -/* Set up scheduler to refresh the hotlist menu - Disabled as it causes everything to slow down to a halt after - several iterations - schedule(6000,(void *)ami_menu_refresh,gwin); -*/ +/* Set up scheduler to refresh the hotlist menu */ + if(option_menu_refresh > 0) + schedule(option_menu_refresh, (void *)ami_menu_refresh, gwin); return(gwin->menu); } |