From 91238d8269a87a449989b6d3326c2606123ef301 Mon Sep 17 00:00:00 2001
From: Xan Lopez <xan@igalia.com>
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/resources/prefs-dialog.ui | 17 -----------------
 1 file changed, 17 deletions(-)

(limited to 'src/resources')

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 @@
                                 <property name="position">2</property>
                               </packing>
                             </child>
-                            <child>
-                              <object class="GtkCheckButton" id="enable_javascript_checkbutton">
-                                <property name="label" translatable="yes">Enable Java_Script</property>
-                                <property name="use_action_appearance">False</property>
-                                <property name="visible">True</property>
-                                <property name="can_focus">True</property>
-                                <property name="receives_default">False</property>
-                                <property name="use_underline">True</property>
-                                <property name="xalign">0.5</property>
-                                <property name="draw_indicator">True</property>
-                              </object>
-                              <packing>
-                                <property name="expand">False</property>
-                                <property name="fill">False</property>
-                                <property name="position">3</property>
-                              </packing>
-                            </child>
                           </object>
                         </child>
                       </object>
-- 
cgit v1.2.3