From de2439d30fccf4a27e2857657f4680ed9237e8ff Mon Sep 17 00:00:00 2001
From: John Darrington <john@darrington.wattle.id.au>
Date: Wed, 9 Apr 2008 09:41:06 +0000
Subject: [PATCH] Remove visibility from unused widgets and menus
---
src/ui/gui/output-viewer.glade | 4 ++--
src/ui/gui/psppire.glade | 6 +++---
src/ui/gui/recode.glade | 2 +-
src/ui/gui/syntax-editor.glade | 2 +-
4 files changed, 7 insertions(+), 7 deletions(-)
diff --git a/src/ui/gui/output-viewer.glade b/src/ui/gui/output-viewer.glade
index d7009e72..0bcf5f3e 100644
--- a/src/ui/gui/output-viewer.glade
+++ b/src/ui/gui/output-viewer.glade
@@ -16,7 +16,7 @@
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
<child>
<widget class="GtkMenuItem" id="menuitem1">
- <property name="visible">True</property>
+ <property name="visible">False</property>
<property name="sensitive">False</property>
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
<property name="label" translatable="yes">_File</property>
@@ -49,7 +49,7 @@
</child>
<child>
<widget class="GtkMenuItem" id="menuitem2">
- <property name="visible">True</property>
+ <property name="visible">False</property>
<property name="sensitive">False</property>
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
<property name="label" translatable="yes">_Edit</property>
diff --git a/src/ui/gui/psppire.glade b/src/ui/gui/psppire.glade
index 115f935e..0c40f366 100644
--- a/src/ui/gui/psppire.glade
+++ b/src/ui/gui/psppire.glade
@@ -1099,7 +1099,7 @@
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
<child>
<widget class="GtkButton" id="button4">
- <property name="visible">True</property>
+ <property name="visible">False</property>
<property name="sensitive">False</property>
<property name="can_focus">True</property>
<property name="receives_default">True</property>
@@ -1229,7 +1229,7 @@
</child>
<child>
<widget class="GtkVBox" id="vbox14">
- <property name="visible">True</property>
+ <property name="visible">False</property>
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
<child>
<widget class="GtkLabel" id="label11">
@@ -1445,7 +1445,7 @@
<property name="yscale">0</property>
<child>
<widget class="GtkRadioButton" id="radiobutton-if">
- <property name="visible">True</property>
+ <property name="visible">False</property>
<property name="sensitive">False</property>
<property name="can_focus">True</property>
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
diff --git a/src/ui/gui/recode.glade b/src/ui/gui/recode.glade
index 38fe21c0..a3b795e6 100644
--- a/src/ui/gui/recode.glade
+++ b/src/ui/gui/recode.glade
@@ -718,7 +718,7 @@
</child>
<child>
<widget class="GtkHBox" id="hbox4">
- <property name="visible">True</property>
+ <property name="visible">False</property>
<property name="sensitive">False</property>
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
<property name="spacing">5</property>
diff --git a/src/ui/gui/syntax-editor.glade b/src/ui/gui/syntax-editor.glade
index aeed6916..8895c8f3 100644
--- a/src/ui/gui/syntax-editor.glade
+++ b/src/ui/gui/syntax-editor.glade
@@ -138,7 +138,7 @@
<child>
<widget class="GtkMenuItem" id="menuitem7">
- <property name="visible">True</property>
+ <property name="visible">False</property>
<property name="sensitive">False</property>
<property name="label" translatable="yes">_Edit</property>
<property name="use_underline">True</property>
--
2.30.2