X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Ffrequencies.ui;h=a65e45f0b9bcab0b7a8f33079e5468fa847ff8bd;hb=4e3feede0f6b3d2e67d6e41a9ddea3738e574dc3;hp=8db067aef67508889bc0357215bd8913e51a6164;hpb=576c5d5df02559cf40d5b85cb536c09fa75fe4fc;p=pspp diff --git a/src/ui/gui/frequencies.ui b/src/ui/gui/frequencies.ui index 8db067aef6..a65e45f0b9 100644 --- a/src/ui/gui/frequencies.ui +++ b/src/ui/gui/frequencies.ui @@ -112,8 +112,6 @@ - False - False 0 @@ -132,7 +130,7 @@ automatic etched-in - + True True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK @@ -375,7 +373,6 @@ - False 0 @@ -477,7 +474,6 @@ - False 1