X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fexamine.ui;h=754d6e836e3524fc9768e091ec18d2cce5d1c64b;hb=99732245d610cf363429f1b67a8b2b2e15a9a734;hp=e2acfc3f2379bb1891648d4ffc955eb06b5c5ac3;hpb=7c2fa3735ac1115b6c1ad4b5e0613673de2faf4c;p=pspp diff --git a/src/ui/gui/examine.ui b/src/ui/gui/examine.ui index e2acfc3f23..754d6e836e 100644 --- a/src/ui/gui/examine.ui +++ b/src/ui/gui/examine.ui @@ -5,7 +5,7 @@ GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - Explore + Explore True @@ -81,7 +81,7 @@ automatic etched-in - + True True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK @@ -128,7 +128,7 @@ automatic etched-in - + True True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK @@ -198,6 +198,7 @@ True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK 5 + True treeview1 treeview2 @@ -298,7 +299,7 @@ GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - Explore: Statistics + Explore: Statistics True Vertical @@ -377,7 +378,7 @@ GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - Explore: Options + Explore: Options True