From 6ff3919ac0a3d401f3b85632aae76fd39aca6e89 Mon Sep 17 00:00:00 2001 From: Stuart Hayhurst Date: Thu, 15 Jun 2023 17:50:12 +0100 Subject: [PATCH] Use GtkBox as parent container, rather than GtkGrid --- extension/ui/prefs-gtk4.ui | 16 ++-------------- extension/ui/prefs.ui | 15 ++++----------- 2 files changed, 6 insertions(+), 25 deletions(-) diff --git a/extension/ui/prefs-gtk4.ui b/extension/ui/prefs-gtk4.ui index 1b54678..afe46ff 100644 --- a/extension/ui/prefs-gtk4.ui +++ b/extension/ui/prefs-gtk4.ui @@ -4,10 +4,10 @@ vertical - + 12 12 - 1 + vertical vertical @@ -78,10 +78,6 @@ - - 0 - 0 - @@ -198,10 +194,6 @@ - - 0 - 1 - @@ -220,10 +212,6 @@ center - - 0 - 2 - diff --git a/extension/ui/prefs.ui b/extension/ui/prefs.ui index 0f0f478..c52dce2 100644 --- a/extension/ui/prefs.ui +++ b/extension/ui/prefs.ui @@ -5,13 +5,12 @@ 1 vertical - - + 1 12 12 - 1 + vertical 1 @@ -104,10 +103,6 @@ - - 0 - 0 - @@ -259,8 +254,7 @@ - 0 - 1 + 1 @@ -283,8 +277,7 @@ - 0 - 2 + 2