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/monkey/options.h | 1 - 1 file changed, 1 deletion(-) (limited to 'frontends/monkey/options.h') 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