|
@@ -2,6 +2,7 @@ package view;
|
|
|
|
|
|
import java.awt.Color;
|
|
import java.awt.Color;
|
|
import java.awt.Component;
|
|
import java.awt.Component;
|
|
|
|
+import java.awt.Font;
|
|
import java.awt.Graphics2D;
|
|
import java.awt.Graphics2D;
|
|
import java.awt.image.BufferedImage;
|
|
import java.awt.image.BufferedImage;
|
|
|
|
|
|
@@ -27,12 +28,17 @@ public class PseudoCodeRenderer extends DefaultTreeCellRenderer {
|
|
@Override
|
|
@Override
|
|
public Color getBackgroundNonSelectionColor() {
|
|
public Color getBackgroundNonSelectionColor() {
|
|
if(specialColor) {
|
|
if(specialColor) {
|
|
- return Color.GREEN;
|
|
|
|
|
|
+ return new Color(0x2d6099);
|
|
} else {
|
|
} else {
|
|
- return null;
|
|
|
|
|
|
+ return RenderHelper.BACKGROUND_COLOR;
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
|
|
|
|
+ @Override
|
|
|
|
+ public Color getForeground() {
|
|
|
|
+ return new Color(0xa9b7c6);
|
|
|
|
+ }
|
|
|
|
+
|
|
private int countChildren( TreeNode treeNode )
|
|
private int countChildren( TreeNode treeNode )
|
|
{
|
|
{
|
|
if( treeNode.isLeaf() )
|
|
if( treeNode.isLeaf() )
|
|
@@ -62,7 +68,12 @@ public class PseudoCodeRenderer extends DefaultTreeCellRenderer {
|
|
}
|
|
}
|
|
return 0;
|
|
return 0;
|
|
}
|
|
}
|
|
-
|
|
|
|
|
|
+
|
|
|
|
+ @Override
|
|
|
|
+ public Font getFont() {
|
|
|
|
+ return new Font("Monospaced", Font.PLAIN, 12);
|
|
|
|
+ }
|
|
|
|
+
|
|
@Override
|
|
@Override
|
|
public Component getTreeCellRendererComponent(JTree tree, Object value, boolean arg2, boolean arg3, boolean arg4, int arg5, boolean arg6) {
|
|
public Component getTreeCellRendererComponent(JTree tree, Object value, boolean arg2, boolean arg3, boolean arg4, int arg5, boolean arg6) {
|
|
|
|
|
|
@@ -74,7 +85,7 @@ public class PseudoCodeRenderer extends DefaultTreeCellRenderer {
|
|
g.setColor( Color.RED );
|
|
g.setColor( Color.RED );
|
|
g.fillOval(20, 10, 10, 10 );
|
|
g.fillOval(20, 10, 10, 10 );
|
|
}
|
|
}
|
|
- g.setColor( Color.BLACK );
|
|
|
|
|
|
+ g.setColor( new Color(0x606366) );
|
|
g.drawString( "" + getLineNumber( (TreeNode) value ), 5, 20 );
|
|
g.drawString( "" + getLineNumber( (TreeNode) value ), 5, 20 );
|
|
g.dispose();
|
|
g.dispose();
|
|
this.setClosedIcon( new ImageIcon( rowNumerImg ) );
|
|
this.setClosedIcon( new ImageIcon( rowNumerImg ) );
|