Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
broder size 3;
authorwenzelm
Tue, 01 Jun 1999 18:00:33 +0200
changeset 6753 43507781dc4d
parent 6752 0545b77f864e
child 6754 c23c542a32e5
broder size 3;
lib/browser/GraphBrowser/GraphBrowser.java file | annotate | diff | comparison | revisions 
--- 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);
isabelle