X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Ffrequencies.ui;h=45e81c0e3b48d5b3f097344cd2f2b37068999dce;hb=a42ad5375c54d5910b79e6aef4a79e262d1d0277;hp=b1708f764977b29f1ab0f5243e8eacfa86996a97;hpb=e9f1ea2a9970b31d6c1ff2aeba1fc9f4edccdb8b;p=pspp diff --git a/src/ui/gui/frequencies.ui b/src/ui/gui/frequencies.ui index b1708f7649..45e81c0e3b 100644 --- a/src/ui/gui/frequencies.ui +++ b/src/ui/gui/frequencies.ui @@ -9,7 +9,7 @@ Frequencies True FREQUENCIES - + True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK @@ -243,7 +243,7 @@ GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK Frequencies: Frequency Tables True - + True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK @@ -513,7 +513,7 @@ GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK Frequencies: Charts True - + True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK