From: John Darrington Date: Sat, 5 Dec 2015 14:13:37 +0000 (+0100) Subject: Histogram Dialog: Remove deprecated widgets X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7d39bf2176e557b5d7a63fda636cf5256dd6ed2e;p=pspp Histogram Dialog: Remove deprecated widgets --- diff --git a/src/ui/gui/histogram.ui b/src/ui/gui/histogram.ui index 35f5ea2370..cc63b3cb74 100644 --- a/src/ui/gui/histogram.ui +++ b/src/ui/gui/histogram.ui @@ -1,23 +1,24 @@ - + + + - - + False Histogram True - GRAPH + GRAPH - + True + False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK 2 - + True + False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - 3 - 3 True @@ -25,17 +26,14 @@ True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK True + center 5 dict-view entry1 1 - 2 - 1 - 2 - - + 0 @@ -43,43 +41,46 @@ True True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK + True never - automatic etched-in True True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK + 0 False + + + - 3 + 0 + 0 + 2 True + False 0 none - + True - 12 - - - True - True - - - + True + 12 + • True + False _Variable: True True @@ -89,78 +90,78 @@ 2 - 3 - 1 - 2 - GTK_FILL + 0 - + True - vertical + False + center + 0 - + True - 0 + False + 12 + vertical - + + _Display normal curve True - 12 - - - True - vertical - - - _Display normal curve - True - True - False - True - True - - - False - False - 0 - - - - - - - - - True - Display - True + True + False + True + 0.5 + True + + False + False + 0 + - - 1 - + + + + True + False + Display + True + + + + + 2 + 1 + + + + + True + False + True + + 1 - 3 - 2 - 3 - GTK_FILL - 5 - 2 + 1 + True + True 0 True + False 5 vertical