X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Ffrequencies.ui;h=fdccf93dac5d0bb4a04b7c5bc4f29d7816ea21ea;hb=51cf173b5eaaa8c5cc6233f9c8924eb44498e89d;hp=1e7fdd457cd137641bb8dfdfbeaef148ab686bb8;hpb=691a034d7f2139076fa012739dffd40ef5db4a9b;p=pspp diff --git a/src/ui/gui/frequencies.ui b/src/ui/gui/frequencies.ui index 1e7fdd457c..fdccf93dac 100644 --- a/src/ui/gui/frequencies.ui +++ b/src/ui/gui/frequencies.ui @@ -1,3 +1,4 @@ + @@ -14,10 +15,9 @@ - - + 1 @@ -31,6 +31,7 @@ GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK Frequencies: Frequency Tables True + FREQUENCIES True @@ -286,7 +287,7 @@ - + vertical True False @@ -322,6 +323,7 @@ GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK Frequencies: Charts True + FREQUENCIES True @@ -650,7 +652,7 @@ - + vertical True False @@ -673,7 +675,7 @@ GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK Frequencies True - FREQUENCIES + FREQUENCIES True @@ -920,7 +922,7 @@ - + vertical True False