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 + +