From 918b1d0fed158fdb48a61536ff7aec7495916298 Mon Sep 17 00:00:00 2001 From: Vincent Sanders Date: Tue, 17 Dec 2019 22:09:41 +0000 Subject: remove long unused plugin option from gtk and monkey --- frontends/gtk/options.h | 3 --- frontends/gtk/preferences.c | 3 --- frontends/gtk/res/options.gtk2.ui | 20 ++------------------ frontends/gtk/res/options.gtk3.ui | 24 ++---------------------- frontends/monkey/options.h | 1 - 5 files changed, 4 insertions(+), 47 deletions(-) (limited to 'frontends') 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) 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) diff --git a/frontends/gtk/res/options.gtk2.ui b/frontends/gtk/res/options.gtk2.ui index a1162585d..f30abeb49 100644 --- a/frontends/gtk/res/options.gtk2.ui +++ b/frontends/gtk/res/options.gtk2.ui @@ -1142,22 +1142,6 @@ 2 - - - preferencesControlDisable - True - True - False - True - - - - - False - False - 3 - - preferencesControlHigh @@ -1171,7 +1155,7 @@ True True - 4 + 3 @@ -1215,7 +1199,7 @@ True True - 5 + 4 diff --git a/frontends/gtk/res/options.gtk3.ui b/frontends/gtk/res/options.gtk3.ui index 2a3516f09..b74846cb2 100644 --- a/frontends/gtk/res/options.gtk3.ui +++ b/frontends/gtk/res/options.gtk3.ui @@ -982,26 +982,6 @@ 2 - - - preferencesControlDisable - False - True - True - False - start - False - 0.5 - True - - - - - False - False - 3 - - preferencesControlHigh @@ -1019,7 +999,7 @@ True True - 4 + 3 @@ -1064,7 +1044,7 @@ True True - 5 + 4 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) -- cgit v1.2.3