|
@@ -56,11 +56,11 @@ public class PseudoCodeNode extends DefaultMutableTreeNode {
|
|
|
|
|
|
public boolean setSelected( boolean selected )
|
|
public boolean setSelected( boolean selected )
|
|
{
|
|
{
|
|
- if( !this.selected && selected && breakPoint )
|
|
|
|
|
|
+ if( selected && breakPoint )
|
|
controller.setContinuous( false );
|
|
controller.setContinuous( false );
|
|
- if( !this.selected && selected )
|
|
|
|
|
|
+ if( selected )
|
|
tree.expandPath( new TreePath( this.getPath() ) );
|
|
tree.expandPath( new TreePath( this.getPath() ) );
|
|
- else if (this.selected && !selected && !breakPoint)
|
|
|
|
|
|
+ else
|
|
tree.collapsePath( new TreePath( this.getPath() ) );
|
|
tree.collapsePath( new TreePath( this.getPath() ) );
|
|
this.selected = selected;
|
|
this.selected = selected;
|
|
return !breakPoint || !selected;
|
|
return !breakPoint || !selected;
|