From 2b86db36250fd6a9c6add88c4bae3471c8ce47db Mon Sep 17 00:00:00 2001 From: Pablo Barciela Date: Sun, 4 Mar 2018 22:24:42 +0100 Subject: externaltools plugin: outputpanel.ui: avoid GtkHBox and GtkVButtonBox --- plugins/externaltools/tools/outputpanel.ui | 88 ++++++++++++++++++------------ 1 file changed, 54 insertions(+), 34 deletions(-) diff --git a/plugins/externaltools/tools/outputpanel.ui b/plugins/externaltools/tools/outputpanel.ui index f0281792..01904a6e 100644 --- a/plugins/externaltools/tools/outputpanel.ui +++ b/plugins/externaltools/tools/outputpanel.ui @@ -1,52 +1,72 @@ - - - + + True + False - True - GTK_POLICY_AUTOMATIC - GTK_POLICY_AUTOMATIC - GTK_SHADOW_IN - - True - False - GTK_WRAP_WORD - False - False - - - - - + False + True + in + + + True + False + False + word + False + False + + + + + + + False + True + 0 + - - True - 6 - 6 - GTK_BUTTONBOX_END - - + True - False - gtk-stop - True - - - + False + 6 + vertical + 6 + end + + + gtk-stop + True + False + False + False + True + + + + True + True + 0 + + - False - 1 + False + True + 1 -- cgit v1.2.1