diff options
author | John Mark Bell <jmb@netsurf-browser.org> | 2006-01-01 18:52:30 +0000 |
---|---|---|
committer | John Mark Bell <jmb@netsurf-browser.org> | 2006-01-01 18:52:30 +0000 |
commit | cf657a2ffbb9f1ac4c34e2c2348b8d5a4f2193a3 (patch) | |
tree | c0fdd2ea86291fc2f470095571f000b3d727a22c /desktop/options.h | |
parent | e9601cb35a7e266cdb3e46f436bb6e7a132d8755 (diff) | |
download | netsurf-cf657a2ffbb9f1ac4c34e2c2348b8d5a4f2193a3.tar.gz netsurf-cf657a2ffbb9f1ac4c34e2c2348b8d5a4f2193a3.tar.bz2 |
[project @ 2006-01-01 18:52:30 by jmb]
Dump user options to stderr on abort.
Dump box tree on failed assertion.
Display Red/Yellow hourglass whilst dumping box tree (as this can take some time)
svn path=/import/netsurf/; revision=1928
Diffstat (limited to 'desktop/options.h')
-rw-r--r-- | desktop/options.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/desktop/options.h b/desktop/options.h index b63d21ce7..ee9c48415 100644 --- a/desktop/options.h +++ b/desktop/options.h @@ -48,6 +48,7 @@ extern int option_expire_url; void options_read(const char *path); void options_write(const char *path); +void options_dump(void); struct tree *options_load_tree(const char *filename); bool options_save_tree(struct tree *tree, const char *filename, |