@Override public double getWidth(Tree tree) { FontMetrics fontMetrics = viewer.getFontMetrics(viewer.font); String s = viewer.getText(tree); int w = fontMetrics.stringWidth(s) + viewer.nodeWidthPadding*2; return w; }
@Override public String toString() { return viewer.getText((Tree) this.getUserObject()); } }
@Override public double getWidth(Tree tree) { FontMetrics fontMetrics = viewer.getFontMetrics(viewer.font); String s = viewer.getText(tree); int w = fontMetrics.stringWidth(s) + viewer.nodeWidthPadding*2; return w; }
@Override public String toString() { return viewer.getText((Tree) this.getUserObject()); } }
@Override public double getHeight(Tree tree) { FontMetrics fontMetrics = viewer.getFontMetrics(viewer.font); int h = fontMetrics.getHeight() + viewer.nodeHeightPadding*2; String s = viewer.getText(tree); String[] lines = s.split("\n"); return h * lines.length; } }
@Override public double getHeight(Tree tree) { FontMetrics fontMetrics = viewer.getFontMetrics(viewer.font); int h = fontMetrics.getHeight() + viewer.nodeHeightPadding*2; String s = viewer.getText(tree); String[] lines = s.split("\n"); return h * lines.length; } }
@Override public String toString() { return viewer.getText((Tree) this.getUserObject()); } }
@Override public double getWidth(Tree tree) { FontMetrics fontMetrics = viewer.getFontMetrics(viewer.font); String s = viewer.getText(tree); int w = fontMetrics.stringWidth(s) + viewer.nodeWidthPadding*2; return w; }
@Override public double getWidth(Tree tree) { FontMetrics fontMetrics = viewer.getFontMetrics(viewer.font); String s = viewer.getText(tree); int w = fontMetrics.stringWidth(s) + viewer.nodeWidthPadding*2; return w; }
@Override public double getHeight(Tree tree) { FontMetrics fontMetrics = viewer.getFontMetrics(viewer.font); int h = fontMetrics.getHeight() + viewer.nodeHeightPadding*2; String s = viewer.getText(tree); String[] lines = s.split("\n"); return h * lines.length; } }
@Override public double getHeight(Tree tree) { FontMetrics fontMetrics = viewer.getFontMetrics(viewer.font); int h = fontMetrics.getHeight() + viewer.nodeHeightPadding*2; String s = viewer.getText(tree); String[] lines = s.split("\n"); return h * lines.length; } }
@Override public String toString() { return viewer.getText((Tree) this.getUserObject()); } }
protected void generateBox(Writer writer, Tree parent) throws IOException { // draw the box in the background Rectangle2D.Double box = getBoundsOfNode(parent); writer.write(rect(""+box.x, ""+box.y, ""+box.width, ""+box.height, "fill:orange; stroke:rgb(0,0,0);", "rx=\"1\"")); // draw the text on top of the box (possibly multiple lines) String line = getText(parent).replace("<","<").replace(">",">"); int fontSize = 10; int x = (int) box.x + 2; int y = (int) box.y + fontSize - 1; String style = String.format("font-family:sans-serif;font-size:%dpx;", fontSize); writer.write(text(""+x, ""+y, style, line)); }
protected void generateBox(Writer writer, Tree parent) throws IOException { // draw the box in the background Rectangle2D.Double box = getBoundsOfNode(parent); writer.write(rect(""+box.x, ""+box.y, ""+box.width, ""+box.height, "fill:orange; stroke:rgb(0,0,0);", "rx=\"1\"")); // draw the text on top of the box (possibly multiple lines) String line = getText(parent).replace("<","<").replace(">",">"); int fontSize = 10; int x = (int) box.x + 2; int y = (int) box.y + fontSize - 1; String style = String.format("font-family:sans-serif;font-size:%dpx;", fontSize); writer.write(text(""+x, ""+y, style, line)); }
protected void generateBox(Writer writer, Tree parent) throws IOException { // draw the box in the background Rectangle2D.Double box = getBoundsOfNode(parent); writer.write(rect(""+box.x, ""+box.y, ""+box.width, ""+box.height, "fill:orange; stroke:rgb(0,0,0);", "rx=\"1\"")); // draw the text on top of the box (possibly multiple lines) String line = getText(parent).replace("<","<").replace(">",">"); int fontSize = 10; int x = (int) box.x + 2; int y = (int) box.y + fontSize - 1; String style = String.format("font-family:sans-serif;font-size:%dpx;", fontSize); writer.write(text(""+x, ""+y, style, line)); }
String s = getText(tree); String[] lines = s.split("\n"); FontMetrics m = getFontMetrics(font);
String s = getText(tree); String[] lines = s.split("\n"); FontMetrics m = getFontMetrics(font);
String s = getText(tree); String[] lines = s.split("\n"); FontMetrics m = getFontMetrics(font);
String s = getText(tree); String[] lines = s.split("\n"); FontMetrics m = getFontMetrics(font);