X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Frank.ui;h=7b95f2c4fd7e5ff860364a42b74d8fcddc75d8eb;hb=10064a4e800b3bc43d69107e12aa35e877059dd8;hp=5b7d6f4b27f471ef1735b5c1e17b3767687ccd2d;hpb=86166f73821142c2f82fdace3ac40a0933989dcd;p=pspp-builds.git diff --git a/src/ui/gui/rank.ui b/src/ui/gui/rank.ui index 5b7d6f4b..7b95f2c4 100644 --- a/src/ui/gui/rank.ui +++ b/src/ui/gui/rank.ui @@ -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 @@ -144,6 +144,8 @@ True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK 5 + dict-treeview + group-vars-treeview 1 @@ -161,6 +163,9 @@ True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK 5 + True + dict-treeview + variables-treeview 1 @@ -755,6 +760,6 @@ 100 1 10 - 10 + 0