diff options
author | Vincent Sanders <vince@kyllikki.org> | 2019-12-17 22:09:41 +0000 |
---|---|---|
committer | Vincent Sanders <vince@kyllikki.org> | 2019-12-17 22:09:41 +0000 |
commit | 918b1d0fed158fdb48a61536ff7aec7495916298 (patch) | |
tree | 99a6858b9d23d4ab4b072f2088a7a965c0631876 /frontends/gtk/options.h | |
parent | 0e304aba42ca904c49ea9190fa0313f858b12385 (diff) | |
download | netsurf-918b1d0fed158fdb48a61536ff7aec7495916298.tar.gz netsurf-918b1d0fed158fdb48a61536ff7aec7495916298.tar.bz2 |
remove long unused plugin option from gtk and monkey
Diffstat (limited to 'frontends/gtk/options.h')
-rw-r--r-- | frontends/gtk/options.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/frontends/gtk/options.h b/frontends/gtk/options.h index dad17f059..81457efc0 100644 --- a/frontends/gtk/options.h +++ b/frontends/gtk/options.h @@ -47,9 +47,6 @@ NSOPTION_INTEGER(button_type, 0) /* disallow popup windows */ NSOPTION_BOOL(disable_popups, false) -/* disable content plugins */ -NSOPTION_BOOL(disable_plugins, false) - /* number of days to keep history data */ NSOPTION_INTEGER(history_age, 0) |