From d6fed235c2dd272139214cd8c0eb7fbb9dae3668 Mon Sep 17 00:00:00 2001 From: Simon Schneegans Date: Sat, 8 Jan 2022 13:56:38 +0100 Subject: [PATCH] :wrench: Gtk3 fixes --- resources/ui/gtk3/prefs.ui | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/resources/ui/gtk3/prefs.ui b/resources/ui/gtk3/prefs.ui index 3f15c83..6196c5c 100644 --- a/resources/ui/gtk3/prefs.ui +++ b/resources/ui/gtk3/prefs.ui @@ -51,10 +51,6 @@ - - General Options - - vertical 60 @@ -219,6 +215,9 @@ + + General Options +