X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fui%2Fgui%2Fdescriptives.ui;h=74a282adf7a555a07eff31f84e0d4e54cd0bd46d;hb=0943ce431a8b804b20bb93516dc7455c60c6e3cf;hp=70fef5df1ac317572e00a667597a78f200f3767f;hpb=c6cf1b5bc1714afd7668425e8c561c0ce8f0ccd0;p=pspp diff --git a/src/ui/gui/descriptives.ui b/src/ui/gui/descriptives.ui index 70fef5df1a..74a282adf7 100644 --- a/src/ui/gui/descriptives.ui +++ b/src/ui/gui/descriptives.ui @@ -7,7 +7,8 @@ GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK Descriptives True - + DESCRIPTIVES + True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK @@ -141,7 +142,7 @@ automatic etched-in - + 200 True True