summaryrefslogtreecommitdiff
path: root/frontends/monkey
diff options
context:
space:
mode:
authorVincent Sanders <vince@kyllikki.org>2019-12-17 22:09:41 +0000
committerVincent Sanders <vince@kyllikki.org>2019-12-17 22:09:41 +0000
commit918b1d0fed158fdb48a61536ff7aec7495916298 (patch)
tree99a6858b9d23d4ab4b072f2088a7a965c0631876 /frontends/monkey
parent0e304aba42ca904c49ea9190fa0313f858b12385 (diff)
downloadnetsurf-918b1d0fed158fdb48a61536ff7aec7495916298.tar.gz
netsurf-918b1d0fed158fdb48a61536ff7aec7495916298.tar.bz2
remove long unused plugin option from gtk and monkey
Diffstat (limited to 'frontends/monkey')
-rw-r--r--frontends/monkey/options.h1
1 files changed, 0 insertions, 1 deletions
diff --git a/frontends/monkey/options.h b/frontends/monkey/options.h
index 57cce7e1f..a39e54b3f 100644
--- a/frontends/monkey/options.h
+++ b/frontends/monkey/options.h
@@ -31,7 +31,6 @@ NSOPTION_STRING(url_file, NULL)
NSOPTION_BOOL(show_single_tab, false)
NSOPTION_INTEGER(button_type, 0)
NSOPTION_BOOL(disable_popups, false)
-NSOPTION_BOOL(disable_plugins, false)
NSOPTION_INTEGER(history_age, 0)
NSOPTION_BOOL(hover_urls, false)
NSOPTION_BOOL(focus_new, false)