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