Some more flexibility added to the GUI.

18 years ago · 164b7b2689
parent 14caa56775
commit 164b7b2689
1 changed files with 1 additions and 0 deletions
--- a/resources/lookandfeel.properties
+++ b/resources/lookandfeel.properties
@ -0,0 +1 @@
+tabOverlap=10