X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Frank.ui;h=3dc0d283f57040b3f329cb4677cd13022e09d3e5;hb=fc01177a9fccd839df87c5784abec33b69b4019c;hp=1b2a8245d5b5210e9a73cd6a8be14c38cd81c5d4;hpb=c81ed3d3c60ca7d576ef9d3d9c9d6863d6f11bf5;p=pspp diff --git a/src/ui/gui/rank.ui b/src/ui/gui/rank.ui index 1b2a8245d5..3dc0d283f5 100644 --- a/src/ui/gui/rank.ui +++ b/src/ui/gui/rank.ui @@ -5,7 +5,7 @@ GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - Rank Cases + Rank Cases True @@ -72,7 +72,7 @@ automatic etched-in - + True True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK @@ -119,7 +119,7 @@ automatic etched-in - + True True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK @@ -163,6 +163,7 @@ True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK 5 + True dict-treeview variables-treeview @@ -342,7 +343,7 @@ GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - Rank Cases: Types + Rank Cases: Types True @@ -621,7 +622,7 @@ GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - Rank Cases: Ties + Rank Cases: Ties True @@ -759,6 +760,6 @@ 100 1 10 - 10 + 0