diff options
Diffstat (limited to 'src/resources')
| -rw-r--r-- | src/resources/prefs-dialog.ui | 17 |
1 files changed, 0 insertions, 17 deletions
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> |