diff options
Diffstat (limited to 'desktop/options.h')
| -rw-r--r-- | desktop/options.h | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/desktop/options.h b/desktop/options.h index ca92ee90a..2779692b6 100644 --- a/desktop/options.h +++ b/desktop/options.h @@ -85,6 +85,7 @@ extern int option_toolbar_status_width; extern int option_scale; extern bool option_incremental_reflow; extern unsigned int option_min_reflow_period; +extern char *option_tree_icons_dir; extern bool option_core_select_menu; extern int option_margin_top; @@ -114,8 +115,4 @@ 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, - const char *page_title); - #endif |