summaryrefslogtreecommitdiff
path: root/gtk/options.h
diff options
context:
space:
mode:
authorVincent Sanders <vince@kyllikki.org>2014-08-02 02:19:06 +0100
committerVincent Sanders <vince@kyllikki.org>2014-08-02 02:20:25 +0100
commitca077b06386bf86c3f7e8b13ba8a90d59ccf54ec (patch)
tree43a7ae4e99748c93ba7c3c87454f7eff88c28b4c /gtk/options.h
parentc0548fc472ac2c8e8bbc9e6254ee785f69cfadf2 (diff)
downloadnetsurf-ca077b06386bf86c3f7e8b13ba8a90d59ccf54ec.tar.gz
netsurf-ca077b06386bf86c3f7e8b13ba8a90d59ccf54ec.tar.bz2
fixup preference dialog handling of Developer view options
Diffstat (limited to 'gtk/options.h')
-rw-r--r--gtk/options.h3
1 files changed, 0 insertions, 3 deletions
diff --git a/gtk/options.h b/gtk/options.h
index cdedbc6a7..63f2ad177 100644
--- a/gtk/options.h
+++ b/gtk/options.h
@@ -65,9 +65,6 @@ NSOPTION_BOOL(new_blank, false)
/* path to save hotlist file */
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)