X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fcrosstabs.ui;h=7b14dbe515cea20f56e4603e53145cfd110168b1;hb=a965acea74a93eba5c78c17c6595eef9a776a464;hp=2d7106616e83f744f12318aa78d6e4b384a2afac;hpb=5cec2f151407ded00c03b00b101578e9123b91b2;p=pspp diff --git a/src/ui/gui/crosstabs.ui b/src/ui/gui/crosstabs.ui index 2d7106616e..7b14dbe515 100644 --- a/src/ui/gui/crosstabs.ui +++ b/src/ui/gui/crosstabs.ui @@ -1,3 +1,19 @@ + + + + + + + + + + + + + + + + @@ -59,7 +75,8 @@ - + + vertical True False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK @@ -200,7 +217,6 @@ 0 False False - single @@ -309,7 +325,8 @@ - + + vertical True False 5 @@ -411,7 +428,8 @@ - + + vertical True False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK @@ -487,7 +505,8 @@ - + + vertical True False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK