diff options
author | Ole Loots <ole@monochrom.net> | 2012-12-18 01:10:20 +0100 |
---|---|---|
committer | Ole Loots <ole@monochrom.net> | 2012-12-18 01:10:20 +0100 |
commit | c6a5109a95c1206ccf63d99316fa12b8c43bb7cf (patch) | |
tree | b967622841c027122d9a3970705c0cce675e5249 /atari/history.c | |
parent | 59a44380a6951b220c91d109532c24ecc7148361 (diff) | |
download | netsurf-c6a5109a95c1206ccf63d99316fa12b8c43bb7cf.tar.gz netsurf-c6a5109a95c1206ccf63d99316fa12b8c43bb7cf.tar.bz2 |
Preparing for merge...
Diffstat (limited to 'atari/history.c')
-rwxr-xr-x | atari/history.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/atari/history.c b/atari/history.c index e7db74bae..f9faef555 100755 --- a/atari/history.c +++ b/atari/history.c @@ -131,6 +131,11 @@ bool global_history_init( void ) void global_history_destroy( void ) { + +void global_history_redraw( void )
+{
+ atari_treeview_redraw( gl_history.tv );
+} if( gl_history.init == false ) { return; } |