From 93a410cf2a7d234541f6f7848c2881142cae8cc7 Mon Sep 17 00:00:00 2001 From: SiboVG Date: Wed, 10 Apr 2024 01:20:59 +0200 Subject: [PATCH] Increase tree margins --- swing/src/main/resources/themes/FlatLaf.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/swing/src/main/resources/themes/FlatLaf.properties b/swing/src/main/resources/themes/FlatLaf.properties index 12551da59..a9f98b247 100644 --- a/swing/src/main/resources/themes/FlatLaf.properties +++ b/swing/src/main/resources/themes/FlatLaf.properties @@ -11,7 +11,7 @@ Tree.wideSelection = true Tree.paintSelection = true # Margin as top,left,bottom,right -Tree.rendererMargins = 2, 0, 2, 0 +Tree.rendererMargins = 2, 0, 3, 0 TextArea.margin = 10, 10, 10, 10 ScrollPane.smoothScrolling = true