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/preferences.c | |
| 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/preferences.c')
| -rw-r--r-- | frontends/gtk/preferences.c | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/frontends/gtk/preferences.c b/frontends/gtk/preferences.c index 3aaaa9026..5fe945073 100644 --- a/frontends/gtk/preferences.c +++ b/frontends/gtk/preferences.c @@ -412,9 +412,6 @@ TOGGLEBUTTON_SIGNALS(checkHideAdverts, block_advertisements) /* enable javascript */ TOGGLEBUTTON_SIGNALS(checkEnableJavascript, enable_javascript) -/* disable plugins */ -TOGGLEBUTTON_SIGNALS(checkDisablePlugins, disable_plugins) - /* high quality image scaling */ TOGGLEBUTTON_SIGNALS(checkResampleImages, render_resample) |