X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fpsppire.glade;h=ad08cb2b13a3e30543582e02eb9ebe1349816791;hb=c3e2ab6b50eb3b3c7e0852f2a4e2122f695714ff;hp=8be27e381f54e28ba0ec49ca9c159aa8a0aa4538;hpb=88cddbfae2dba14cd7e4225961aa88c3e6fe4445;p=pspp-builds.git
diff --git a/src/ui/gui/psppire.glade b/src/ui/gui/psppire.glade
index 8be27e38..ad08cb2b 100644
--- a/src/ui/gui/psppire.glade
+++ b/src/ui/gui/psppire.glade
@@ -47,7 +47,7 @@
GTK_POLICY_AUTOMATIC
GTK_SHADOW_ETCHED_IN
-
+
True
False
True
@@ -212,7 +212,7 @@
GTK_POLICY_NEVER
GTK_POLICY_AUTOMATIC
-
+
True
False
@@ -394,7 +394,7 @@
GTK_POLICY_NEVER
GTK_POLICY_AUTOMATIC
-
+
True
True
GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
@@ -680,7 +680,7 @@
GTK_POLICY_AUTOMATIC
GTK_SHADOW_ETCHED_IN
-
+
True
True
GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
@@ -924,7 +924,7 @@
GTK_POLICY_AUTOMATIC
GTK_SHADOW_IN
-
+
True
True
GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
@@ -1187,7 +1187,7 @@
GTK_POLICY_AUTOMATIC
GTK_SHADOW_IN
-
+
True
True
GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK