From 164b7b2689ad083fd7454835fae6ee838994d52f Mon Sep 17 00:00:00 2001 From: Yana Stamcheva Date: Fri, 15 Feb 2008 14:58:37 +0000 Subject: [PATCH] Some more flexibility added to the GUI. --- resources/lookandfeel.properties | 1 + 1 file changed, 1 insertion(+) create mode 100644 resources/lookandfeel.properties diff --git a/resources/lookandfeel.properties b/resources/lookandfeel.properties new file mode 100644 index 000000000..035c5fc05 --- /dev/null +++ b/resources/lookandfeel.properties @@ -0,0 +1 @@ +tabOverlap=10 \ No newline at end of file