From 91238d8269a87a449989b6d3326c2606123ef301 Mon Sep 17 00:00:00 2001 From: Xan Lopez Date: Wed, 3 Oct 2012 17:51:49 +0200 Subject: prefs-dialog: remove JavaScript preference from the UI https://bugzilla.gnome.org/show_bug.cgi?id=685393 --- src/prefs-dialog.c | 3 --- src/resources/prefs-dialog.ui | 17 ----------------- 2 files changed, 20 deletions(-) (limited to 'src') diff --git a/src/prefs-dialog.c b/src/prefs-dialog.c index ebd82cdff..ac067f498 100644 --- a/src/prefs-dialog.c +++ b/src/prefs-dialog.c @@ -991,9 +991,6 @@ static const PrefsDialogPreference preferences[] = { "enable_plugins_checkbutton", "active", EPHY_PREFS_WEB_SCHEMA, EPHY_PREFS_WEB_ENABLE_PLUGINS, G_SETTINGS_BIND_DEFAULT, NULL, NULL }, - { "enable_javascript_checkbutton", "active", - EPHY_PREFS_WEB_SCHEMA, EPHY_PREFS_WEB_ENABLE_JAVASCRIPT, - G_SETTINGS_BIND_DEFAULT, NULL, NULL }, { "css_checkbox", "active", EPHY_PREFS_WEB_SCHEMA, EPHY_PREFS_WEB_ENABLE_USER_CSS, G_SETTINGS_BIND_DEFAULT, NULL, NULL }, diff --git a/src/resources/prefs-dialog.ui b/src/resources/prefs-dialog.ui index 1f2847a8f..ebf4265b2 100644 --- a/src/resources/prefs-dialog.ui +++ b/src/resources/prefs-dialog.ui @@ -676,23 +676,6 @@ 2 - - - Enable Java_Script - False - True - True - False - True - 0.5 - True - - - False - False - 3 - - -- cgit v1.2.3