From: John Darrington Date: Sat, 5 Dec 2015 12:28:38 +0000 (+0100) Subject: Entry Dialog: Remove deprecated widgets X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7d2216c5378e5d960dbeb8b0a9b2e9117c950ed5;hp=228b6dc249231db9018965412f572fff51ea7805;p=pspp Entry Dialog: Remove deprecated widgets --- diff --git a/src/ui/gui/entry-dialog.ui b/src/ui/gui/entry-dialog.ui index 5ce5797660..d1d5dba04b 100644 --- a/src/ui/gui/entry-dialog.ui +++ b/src/ui/gui/entry-dialog.ui @@ -1,32 +1,48 @@ - + + + - - + False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK True - + True + False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK + vertical 5 - - + + True + False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - - - - + + + False + True + 0 + + + + True + False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - True - - + True + + + False + True + 1 + + True + False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK 5 spread