[gnome-builder/wip/gtk4-port: 427/1774] plugins/editorui: increase spacing amongst previews
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder/wip/gtk4-port: 427/1774] plugins/editorui: increase spacing amongst previews
- Date: Mon, 11 Jul 2022 22:31:12 +0000 (UTC)
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]