From 7287d3a51e8fae9a7eceee9757e0cd98814d2bf8 Mon Sep 17 00:00:00 2001 From: Nikos Kouremenos Date: Tue, 28 Mar 2006 10:36:42 +0000 Subject: [PATCH] revert accidental gtkgui commit --- src/gtkgui.glade | 120 +++++++++++++++-------------------------------- 1 file changed, 39 insertions(+), 81 deletions(-) diff --git a/src/gtkgui.glade b/src/gtkgui.glade index 2dbf3de2c..24f56b760 100644 --- a/src/gtkgui.glade +++ b/src/gtkgui.glade @@ -330,92 +330,36 @@ - + + 2 True - False - 0 + True + GTK_POLICY_NEVER + GTK_POLICY_AUTOMATIC + GTK_SHADOW_NONE + GTK_CORNER_TOP_LEFT - + True - False - 0 - - - - True - True - GTK_POLICY_NEVER - GTK_POLICY_AUTOMATIC - GTK_SHADOW_NONE - GTK_CORNER_TOP_LEFT - - - - True - True - False - False - True - True - False - False - False - - - - - - - - - - - - - - 0 - True - True - - - - - - True - False - True - - - - 0 - False - True - - + True + False + False + True + True + False + False + False + + + + + + + + + - - 0 - True - True - - - - - - True - False - 0 - - - - - - - 0 - True - True - @@ -424,6 +368,20 @@ True + + + + True + False + True + + + + 0 + False + True + +