|
a/tool/src/GUI/TreeRenderer.java |
|
b/tool/src/GUI/TreeRenderer.java |
|
... |
|
... |
| 88 |
// setIcon(home);
|
88 |
// setIcon(home);
|
| 89 |
// break;
|
89 |
// break;
|
| 90 |
case home:
|
90 |
case home:
|
| 91 |
setIcon(home);
|
91 |
setIcon(home);
|
| 92 |
break;
|
92 |
break;
|
| 93 |
|
|
|
| 94 |
|
|
|
| 95 |
}
|
93 |
}
|
| 96 |
|
94 |
|
|
|
95 |
// is this icon selected?
|
|
|
96 |
if(sel == true){
|
|
|
97 |
if(node.iconWhenSelected != null){
|
|
|
98 |
setIcon(node.iconWhenSelected);
|
|
|
99 |
}
|
|
|
100 |
|
|
|
101 |
}
|
| 97 |
|
102 |
|
| 98 |
// write the title of this product
|
103 |
// write the title of this product
|
| 99 |
setText(node.toString());
|
104 |
setText(node.toString());
|
| 100 |
|
105 |
|
| 101 |
return this;
|
106 |
return this;
|