# HG changeset patch
# User wenzelm
# Date 928252833 -7200
# Node ID 43507781dc4d0ca225537653ece9e90a90bc6477
# Parent  0545b77f864e9206f257c2633c9d520abdd2fc22
broder size 3;

diff -r 0545b77f864e -r 43507781dc4d lib/browser/GraphBrowser/GraphBrowser.java
--- a/lib/browser/GraphBrowser/GraphBrowser.java	Mon May 31 23:09:13 1999 +0200
+++ b/lib/browser/GraphBrowser/GraphBrowser.java	Tue Jun 01 18:00:33 1999 +0200
@@ -145,8 +145,8 @@
 			scrollp1.getVAdjustable().setUnitIncrement(20);
 			scrollp2.getHAdjustable().setUnitIncrement(20);
 			scrollp2.getVAdjustable().setUnitIncrement(20);
-			Component gv2 = new Border(scrollp1, 5);
-			Component tb2 = new Border(scrollp2, 5);
+			Component gv2 = new Border(scrollp1, 3);
+			Component tb2 = new Border(scrollp2, 3);
 			GridBagLayout gridbag = new GridBagLayout();
 			GridBagConstraints cnstr = new GridBagConstraints();
 			setLayout(gridbag);