From: John Darrington Date: Wed, 30 Dec 2015 08:53:20 +0000 (+0100) Subject: Rename Dataset dialog: Add spacing and help button X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=63ae14f7f555727026138e1668e6cf91a9046bc0 Rename Dataset dialog: Add spacing and help button --- diff --git a/src/ui/gui/entry-dialog.ui b/src/ui/gui/entry-dialog.ui index d1d5dba04b..92fd9c98de 100644 --- a/src/ui/gui/entry-dialog.ui +++ b/src/ui/gui/entry-dialog.ui @@ -7,11 +7,16 @@ False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK True + DATASET True False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK + 5 + 5 + 5 + 5 vertical 5 @@ -46,7 +51,7 @@ GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK 5 spread - PSPPIRE_BUTTON_OK_MASK | PSPPIRE_BUTTON_CANCEL_MASK + PSPPIRE_BUTTON_OK_MASK | PSPPIRE_BUTTON_CANCEL_MASK | PSPPIRE_BUTTON_HELP_MASK PSPPIRE_BUTTON_OK_MASK