diff options
author | Ole Loots <ole@monochrom.net> | 2013-09-21 05:38:58 +0200 |
---|---|---|
committer | Ole Loots <ole@monochrom.net> | 2013-10-06 01:24:17 +0200 |
commit | 9f35d844dc9eb18a93f239b2ca8c921409afaa7d (patch) | |
tree | 4d0886ca2586896d91310cbaadb9cc254136a8c3 | |
parent | 49f4fa0d787c867ed24ac49897feb347939d4ef3 (diff) | |
download | netsurf-9f35d844dc9eb18a93f239b2ca8c921409afaa7d.tar.gz netsurf-9f35d844dc9eb18a93f239b2ca8c921409afaa7d.tar.bz2 |
Enabled atari_global_history_destry/init
-rw-r--r-- | atari/gui.c | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/atari/gui.c b/atari/gui.c index 33d63b436..c0b8cb2fb 100644 --- a/atari/gui.c +++ b/atari/gui.c @@ -174,16 +174,11 @@ void gui_poll(bool active) // TODO: implement generic treeview redraw function // TODO: rename hl to atari_hotlist or create getter for it... - //atari_treeview_redraw(hl.tv); + atari_hotlist_redraw(); atari_cookie_manager_redraw(); atari_global_history_redraw(); -/* // TODO: reenable history redraws - if(gl_history.tv->redraw){ - atari_treeview_redraw(gl_history.tv); - } -*/ } @@ -840,7 +835,7 @@ void gui_quit(void) } /* destroy the treeview windows: */ - //atari_global_history_destroy(); + atari_global_history_destroy(); atari_hotlist_destroy(); atari_cookie_manager_destroy(); @@ -1061,7 +1056,7 @@ static void gui_init2(int argc, char** argv) treeview_init(0); /* Initialize the specific treeview windows: */ - //atari_global_history_init(); + atari_global_history_init(); atari_hotlist_init(); atari_cookie_manager_init(); |