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/preferences.c | 3 --- 1 file changed, 3 deletions(-) (limited to 'frontends/gtk/preferences.c') 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) -- cgit v1.2.3