X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Frank.ui;h=bfb856a922441f4ab3c60f52ccfa36d730a202fd;hb=dd0ea133078927381585e532d86c2450cbb35576;hp=4716ac7c237df09eb6c20dd14fb637f965e8d9ea;hpb=733427e40af47109961c0df853ac15ac81d45ef7;p=pspp diff --git a/src/ui/gui/rank.ui b/src/ui/gui/rank.ui index 4716ac7c23..bfb856a922 100644 --- a/src/ui/gui/rank.ui +++ b/src/ui/gui/rank.ui @@ -7,7 +7,8 @@ GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK Rank Cases True - + RANK + True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK @@ -349,7 +350,7 @@ GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK Rank Cases: Types True - + True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK @@ -641,7 +642,7 @@ GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK Rank Cases: Ties True - + True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK