projects
/
pspp-builds.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
ed24f50
)
Remove visibility from unused widgets and menus
author
John Darrington
<john@darrington.wattle.id.au>
Wed, 9 Apr 2008 09:41:06 +0000
(09:41 +0000)
committer
John Darrington
<john@darrington.wattle.id.au>
Wed, 9 Apr 2008 09:41:06 +0000
(09:41 +0000)
src/ui/gui/output-viewer.glade
patch
|
blob
|
history
src/ui/gui/psppire.glade
patch
|
blob
|
history
src/ui/gui/recode.glade
patch
|
blob
|
history
src/ui/gui/syntax-editor.glade
patch
|
blob
|
history
diff --git
a/src/ui/gui/output-viewer.glade
b/src/ui/gui/output-viewer.glade
index d7009e72bb3625fef6ddd7638685262781ff6a50..0bcf5f3e407d8cce0f5207d99c127ebe4136fa7c 100644
(file)
--- 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="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">
Tru
e</property>
+ <property name="visible">
Fals
e</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>
<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">
</child>
<child>
<widget class="GtkMenuItem" id="menuitem2">
- <property name="visible">
Tru
e</property>
+ <property name="visible">
Fals
e</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>
<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 115f935efb7e9f2b3ca208dfae1e2178e50c5efa..0c40f366a4cd79d07b203aed2f92265d99db6dbe 100644
(file)
--- 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="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">
Tru
e</property>
+ <property name="visible">
Fals
e</property>
<property name="sensitive">False</property>
<property name="can_focus">True</property>
<property name="receives_default">True</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">
</child>
<child>
<widget class="GtkVBox" id="vbox14">
- <property name="visible">
Tru
e</property>
+ <property name="visible">
Fals
e</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">
<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="yscale">0</property>
<child>
<widget class="GtkRadioButton" id="radiobutton-if">
- <property name="visible">
Tru
e</property>
+ <property name="visible">
Fals
e</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>
<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 38fe21c0e25d2c2a6d4f17f4b35e22d7b8483d34..a3b795e6960842c92ed8d5c126669332ad4eed70 100644
(file)
--- a/
src/ui/gui/recode.glade
+++ b/
src/ui/gui/recode.glade
@@
-718,7
+718,7
@@
</child>
<child>
<widget class="GtkHBox" id="hbox4">
</child>
<child>
<widget class="GtkHBox" id="hbox4">
- <property name="visible">
Tru
e</property>
+ <property name="visible">
Fals
e</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>
<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 aeed6916d028b87d063cae3d3db46642f6b655d1..8895c8f3aa8d78ffee6d663d789d79c92cc28ae3 100644
(file)
--- a/
src/ui/gui/syntax-editor.glade
+++ b/
src/ui/gui/syntax-editor.glade
@@
-138,7
+138,7
@@
<child>
<widget class="GtkMenuItem" id="menuitem7">
<child>
<widget class="GtkMenuItem" id="menuitem7">
- <property name="visible">
Tru
e</property>
+ <property name="visible">
Fals
e</property>
<property name="sensitive">False</property>
<property name="label" translatable="yes">_Edit</property>
<property name="use_underline">True</property>
<property name="sensitive">False</property>
<property name="label" translatable="yes">_Edit</property>
<property name="use_underline">True</property>