[gnome-builder/wip/gtk4-port: 427/1774] plugins/editorui: increase spacing amongst previews




commit fc8e8907fda55534d88d53987e3597ae768139a7
Author: Christian Hergert <chergert redhat com>
Date:   Wed Apr 6 16:24:03 2022 -0700

    plugins/editorui: increase spacing amongst previews

 src/plugins/editorui/gbp-editorui-preferences-addin.c | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/src/plugins/editorui/gbp-editorui-preferences-addin.c 
b/src/plugins/editorui/gbp-editorui-preferences-addin.c
index e78a002e9..ce19f5fc4 100644
--- a/src/plugins/editorui/gbp-editorui-preferences-addin.c
+++ b/src/plugins/editorui/gbp-editorui-preferences-addin.c
@@ -206,6 +206,7 @@ ide_preferences_builtin_add_schemes (const char                   *page_name,
                           "activate-on-single-click", TRUE,
                           "column-spacing", 12,
                           "row-spacing", 12,
+                          "margin-top", 6,
                           "max-children-per-line", 4,
                           NULL);
   gtk_widget_add_css_class (GTK_WIDGET (flowbox), "style-schemes");


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]