Increase tree margins

2024-04-10 01:20:59 +02:00 · 2024-04-10 01:20:59 +02:00 · 93a410cf2a
commit 93a410cf2a
parent 026d5cc259
1 changed files with 1 additions and 1 deletions
--- 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