diff options
author | Michael Drake <tlsa@netsurf-browser.org> | 2013-07-25 11:41:16 +0100 |
---|---|---|
committer | Michael Drake <tlsa@netsurf-browser.org> | 2013-07-25 11:41:16 +0100 |
commit | a4b5a8aed72aa8424749d905774056c761414150 (patch) | |
tree | ed471757a39e5b931277c518f7e299f51b0b95c0 /desktop/global_history.c | |
parent | ef05c2f6e696f7038b343283db7574d7f1c167e6 (diff) | |
download | netsurf-a4b5a8aed72aa8424749d905774056c761414150.tar.gz netsurf-a4b5a8aed72aa8424749d905774056c761414150.tar.bz2 |
Unset built bool when fini is called.
Diffstat (limited to 'desktop/global_history.c')
-rw-r--r-- | desktop/global_history.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/desktop/global_history.c b/desktop/global_history.c index b2bc602c2..61735d98d 100644 --- a/desktop/global_history.c +++ b/desktop/global_history.c @@ -788,6 +788,8 @@ nserror global_history_fini(void) LOG(("Finalising global history")); + gh_ctx.built = false; + /* Destroy the global history treeview */ err = treeview_destroy(gh_ctx.tree); |