jasder
/
antlr
1
0
Fork 1
Code Issues Pull Requests Releases 1 Wiki Activity

tweak padding 

[git-p4: depot-paths = "//depot/code/antlr4/main/": change = 9191]
This commit is contained in:
parrt 2011-10-25 08:57:09 -08:00
parent fc85072851
commit 7f867ec9d6
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
runtime/Java/src/org/antlr/v4/runtime/tree/gui/TreePostScriptGenerator.java
View File

@ -59,7 +59,7 @@ public class TreePostScriptGenerator {
protected double gapBetweenLevels = 10;
protected double gapBetweenNodes = 7;
protected int nodeWidthPadding = 1; // added to left/right
protected int nodeHeightPaddingAbove = 2;
protected int nodeHeightPaddingAbove = 0;
protected int nodeHeightPaddingBelow = 5;
protected Tree root;