From: John Darrington Date: Mon, 6 Aug 2007 02:09:01 +0000 (+0000) Subject: Changed some properties of the syntax-editor to be less annoying. X-Git-Tag: v0.6.0~326 X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3a810a0bc874aafa8496ed5b24b86f2afffc64be;p=pspp-builds.git Changed some properties of the syntax-editor to be less annoying. --- diff --git a/src/ui/gui/ChangeLog b/src/ui/gui/ChangeLog index 9d98f65b..6a368e00 100644 --- a/src/ui/gui/ChangeLog +++ b/src/ui/gui/ChangeLog @@ -1,3 +1,7 @@ +2007-08-06 John Darrington + + * syntax-editor.glade: Changed some properties to be less annoying. + 2007-07-29 John Darrington * helper.c psppire.c: Enabled the output system so that the results diff --git a/src/ui/gui/syntax-editor.glade b/src/ui/gui/syntax-editor.glade index 64cdeabe..ff63d738 100644 --- a/src/ui/gui/syntax-editor.glade +++ b/src/ui/gui/syntax-editor.glade @@ -4,8 +4,8 @@ - 640 - 480 + 640 + 480 True Psppire Syntax Editor GTK_WINDOW_TOPLEVEL @@ -288,8 +288,8 @@ True True - GTK_POLICY_ALWAYS - GTK_POLICY_ALWAYS + GTK_POLICY_AUTOMATIC + GTK_POLICY_AUTOMATIC GTK_SHADOW_IN GTK_CORNER_TOP_LEFT