🔧 Fix GTK3 label alignment

2023-02-05 13:25:14 +01:00
parent f149ee4cf3
commit e62a0454c6
2 changed files with 2 additions and 12 deletions
@@ -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);
    }
  }

@@ -20,14 +20,4 @@ row {

 .revealer-arrow {
    margin-right: 6px;
-}
-
-/* .revealer-arrow.revealed {} */
-
-/* row {
-    padding: 10px;
-}
-
-.effect-row {
-    padding: 0px;
-} */
+}