summaryrefslogtreecommitdiff
path: root/gtk/options.h
diff options
context:
space:
mode:
authorVincent Sanders <vince@kyllikki.org>2014-08-01 00:58:42 +0100
committerVincent Sanders <vince@kyllikki.org>2014-08-01 01:00:13 +0100
commit58eea873f875b58050a01478b4aaed0d75135e9a (patch)
tree50c532e971a097a756b7391de97960316b957ae8 /gtk/options.h
parent43fea75b7290cdcbfafa8e159dc3832581352755 (diff)
downloadnetsurf-58eea873f875b58050a01478b4aaed0d75135e9a.tar.gz
netsurf-58eea873f875b58050a01478b4aaed0d75135e9a.tar.bz2
rationalise source view
Diffstat (limited to 'gtk/options.h')
-rw-r--r--gtk/options.h3
1 files changed, 3 insertions, 0 deletions
diff --git a/gtk/options.h b/gtk/options.h
index 612809eac..cdedbc6a7 100644
--- a/gtk/options.h
+++ b/gtk/options.h
@@ -68,6 +68,9 @@ NSOPTION_STRING(hotlist_path, NULL)
/* open source views in a tab */
NSOPTION_BOOL(source_tab, false)
+/* Developer information viewer display method */
+NSOPTION_INTEGER(developer_view, 0)
+
/* currently selected theme */
NSOPTION_INTEGER(current_theme, 0)