X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fexamine.ui;h=9697fa5fa6847ffb82092f6c1bf89b7a06ce8158;hb=5601f2c5999f82827af7e52e8745de9e277ae5fa;hp=200884ead4fe890579d2a9379e578077cef9a714;hpb=531de52e961c7feaa6f5e86f1de36afa69ab1fab;p=pspp diff --git a/src/ui/gui/examine.ui b/src/ui/gui/examine.ui index 200884ead4..9697fa5fa6 100644 --- a/src/ui/gui/examine.ui +++ b/src/ui/gui/examine.ui @@ -8,7 +8,7 @@ Explore True EXAMINE - + True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK @@ -310,8 +310,7 @@ GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK Explore: Statistics True - Vertical - + True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK @@ -392,7 +391,7 @@ GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK Explore: Options True - + True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK