X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fcompute.ui;h=fe9b10b2037c8bfb4a4e0ea7d4308567b91f25d2;hb=refs%2Fbuilds%2F20140228030505%2Fpspp;hp=3b78a0b933c7c8e1855abf9e483e7e32588beadf;hpb=24ce3b8ab286d1460b4cfd65ba1e82c23ff40f2c;p=pspp diff --git a/src/ui/gui/compute.ui b/src/ui/gui/compute.ui index 3b78a0b933..fe9b10b203 100644 --- a/src/ui/gui/compute.ui +++ b/src/ui/gui/compute.ui @@ -1,7 +1,7 @@ - + GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK @@ -38,7 +38,9 @@ True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK 0 - Target Variable: + Target _Variable: + True + compute-entry1 False @@ -67,11 +69,12 @@ - Type & Label + _Type & Label... True True True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK + True False @@ -168,7 +171,9 @@ True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK 0 - Numeric Expressions: + _Numeric Expressions: + True + compute-textview1 False @@ -230,7 +235,9 @@ True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK 0 - Functions: + _Functions: + True + compute-treeview2 0 @@ -295,11 +302,12 @@ GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - If... + _If... False True True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK + True False @@ -383,7 +391,9 @@ True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK 0 - Use expression as label + Use _expression as label + True + radio-button-expression-label 1 @@ -402,7 +412,9 @@ True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - Label: + _Label: + True + radio-button-user-label False @@ -500,7 +512,9 @@ True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK 0 - String + _String + True + radio-button-string 0 @@ -510,6 +524,7 @@ True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK + 5 True @@ -517,15 +532,17 @@ Width + False + False 0 - adjustment1 True True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK + adjustment1 1 @@ -581,7 +598,9 @@ True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK 0 - Numeric + _Numeric + True + radio-button-numeric 1