this.setCursorExecuting(false);
    protected void disconnect( Thread t ) {        super.disconnect( t );        if ( this.connect_btn != null )            this.connect_btn.setLabel( "Connect" );        if ( this.execCtrl != null ) {        	if(this.executing != null) {        		this.executing.setVisible(false);			}	        }            if(this.execute_once != null)        		this.execute_once.setEnabled(false);        	if(this.exec_on_change != null)        		this.exec_on_change.setEnabled(false);        	if(this.end_execution != null)        		this.end_execution.setEnabled(false);        	if(this.set_caching != null)        		this.set_caching.setEnabled(false);        if ( this.mode_chooser != null ) {            this.mode_chooser.select( ImageWindow.NO_MODE );            this.selected_mode = ImageWindow.NO_MODE;            if ( this.selected_image != null )                this.applyInteractionMode ( ImageWindow.NO_MODE, 0 );        }    }