|
@@ -2,6 +2,7 @@ package view;
|
|
|
|
|
|
import java.awt.Color;
|
|
|
import java.awt.Component;
|
|
|
+import java.awt.Dimension;
|
|
|
import java.awt.Font;
|
|
|
import java.awt.Graphics2D;
|
|
|
import java.awt.image.BufferedImage;
|
|
@@ -35,6 +36,12 @@ public class PseudoCodeRenderer extends DefaultTreeCellRenderer {
|
|
|
}
|
|
|
}
|
|
|
|
|
|
+ /* @Override
|
|
|
+ public Dimension getPreferredSize()
|
|
|
+ {
|
|
|
+ return new Dimension( width, 30 );
|
|
|
+ }*/
|
|
|
+
|
|
|
@Override
|
|
|
public Color getForeground() {
|
|
|
return new Color(0xa9b7c6);
|
|
@@ -86,6 +93,9 @@ public class PseudoCodeRenderer extends DefaultTreeCellRenderer {
|
|
|
width += 15;
|
|
|
String line = "" + getLineNumber( (TreeNode) value );
|
|
|
width += tree.getFontMetrics( this.getFont() ).stringWidth( line );
|
|
|
+ this.setPreferredSize( new Dimension( width + tree.getFontMetrics( this.getFont() ).stringWidth( (String)node.getUserObject() ) + 5, 30 ) );
|
|
|
+ this.setSize( new Dimension( width + tree.getFontMetrics( this.getFont() ).stringWidth( (String)node.getUserObject() ) + 5, 30 ) );
|
|
|
+ this.doLayout();
|
|
|
BufferedImage rowNumerImg = new BufferedImage( width, 30, BufferedImage.TYPE_INT_ARGB );
|
|
|
Graphics2D g = (Graphics2D) rowNumerImg.getGraphics();
|
|
|
int x = 5;
|