From: John Darrington Date: Sun, 6 Dec 2015 21:18:03 +0000 (+0100) Subject: Autorecode Dialog: replace deprecated widgets X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=a232eb40325b126daabcdf28ca54da794bd6a29f Autorecode Dialog: replace deprecated widgets --- diff --git a/src/ui/gui/autorecode.ui b/src/ui/gui/autorecode.ui index 77a3ef72aa..0a9fad7235 100644 --- a/src/ui/gui/autorecode.ui +++ b/src/ui/gui/autorecode.ui @@ -12,6 +12,10 @@ True False + 5 + 5 + 5 + 5 2 @@ -19,22 +23,15 @@ False vertical - + True False - 3 - 3 5 - - - - - - True True + True never in @@ -52,7 +49,9 @@ - 3 + 0 + 0 + 3 @@ -60,21 +59,22 @@ True True True + center + center 5 dict-view var-view 1 - 2 - - GTK_EXPAND + 0 True False + True True 0 none @@ -108,7 +108,7 @@ 2 - 3 + 0 @@ -117,9 +117,13 @@ False 0 - + True False + 5 + 5 + 5 + 5 _Lowest value @@ -169,22 +173,14 @@ 2 - 3 2 - 3 - - + True False - 2 - 2 3 - - - True @@ -193,16 +189,21 @@ True entry1 + + 0 + 0 + True True + True ● 1 - 2 + 0 @@ -215,18 +216,40 @@ 1 - 2 1 - 2 + + + + + True + False + + + + + + 0 + 1 2 - 3 1 - 2 - + + + + + True + False + + + + + + 1 + 1 + 2