From e62a0454c67d7b029b66200d004a31d282801fcf Mon Sep 17 00:00:00 2001 From: Simon Schneegans Date: Sun, 5 Feb 2023 13:25:14 +0100 Subject: [PATCH] :wrench: Fix GTK3 label alignment --- prefs.js | 2 +- resources/css/gtk3.css | 12 +----------- 2 files changed, 2 insertions(+), 12 deletions(-) diff --git a/prefs.js b/prefs.js index 846c0db..0b6ef17 100644 --- a/prefs.js +++ b/prefs.js @@ -673,7 +673,7 @@ var PreferencesDialog = class PreferencesDialog { if (utils.isGTK4()) { box.append(child); } else { - box.pack_start(child, false, false, 0); + box.pack_start(child, false, true, 0); } } diff --git a/resources/css/gtk3.css b/resources/css/gtk3.css index 289e791..6a69c48 100644 --- a/resources/css/gtk3.css +++ b/resources/css/gtk3.css @@ -20,14 +20,4 @@ row { .revealer-arrow { margin-right: 6px; -} - -/* .revealer-arrow.revealed {} */ - -/* row { - padding: 10px; -} - -.effect-row { - padding: 0px; -} */ \ No newline at end of file +} \ No newline at end of file