From c8ed86b7de1685a30e0fe0d8fc601000a57228ec Mon Sep 17 00:00:00 2001 From: Sergio Costas Date: Tue, 18 Oct 2016 01:02:09 +0200 Subject: [PATCH] Fixed resizing on the ERROR window --- data/interface/wdone.ui | 15 ++++++++++++--- data/interface/werror.ui | 17 +++++++++++++---- 2 files changed, 25 insertions(+), 7 deletions(-) diff --git a/data/interface/wdone.ui b/data/interface/wdone.ui index 4d7c8dd..1e606bc 100644 --- a/data/interface/wdone.ui +++ b/data/interface/wdone.ui @@ -1,5 +1,5 @@ - + @@ -87,28 +87,37 @@ True True + True + True True True False + True + True vertical 240 True True + True + True in + 240 True True + True + True debug_buffer - False + True True 0 @@ -140,7 +149,7 @@ - False + True True 2 diff --git a/data/interface/werror.ui b/data/interface/werror.ui index 8b3ce85..dd7a36b 100644 --- a/data/interface/werror.ui +++ b/data/interface/werror.ui @@ -1,5 +1,5 @@ - + @@ -62,28 +62,37 @@ True True + True + True + True True True False + True + True vertical - 240 True True + True + True in + 240 True True + True + True debug_buffer - False + True True 0 @@ -115,7 +124,7 @@ - False + True True 1