264265266267268269270271272273274
delete.setEnabled( false ); rename = new RenameAction( this ); rename.setEnabled( false ); run = new RunAction( this ); run.setEnabled( false ); stop = new StopAction( this ); stop.setEnabled( false );
260261262263264265266267268269270
250251252253254255256257258259260