question: public void scriptFinished ( ScriptExecutionEvent e ) { if ( e . getType ( ) == Type . FINISHED ) showInfo ( "Script execution finished" ) ; else if ( e . getType ( ) == Type . STOPPED ) showInfo ( "Script execution stopped by user" ) ; else if ( e . getType ( ) == Type . ERROR ) showInfo ( "Script execution failed" + ( e . hasAdditional ( ) ? ( ": " + e . getAdditional ( ) ) : "" ) ) ; if ( e . getType ( ) != Type . STARTED ) { m_NewAction . setEnabled ( true ) ; m_OpenAction . setEnabled ( true ) ; m_SaveAction . setEnabled ( true ) ; m_SaveAsAction . setEnabled ( true ) ; m_CutAction . setEnabled ( true ) ; m_CopyAction . setEnabled ( true ) ; m_PasteAction . setEnabled ( true ) ; m_StartAction . setEnabled ( true ) ; m_StopAction . setEnabled ( false ) ; } else { m_NewAction . setEnabled ( false ) ; m_OpenAction . setEnabled ( false ) ; m_SaveAction . setEnabled ( false ) ; m_SaveAsAction . setEnabled ( false ) ; m_CutAction . setEnabled ( false ) ; m_CopyAction . setEnabled ( false ) ; m_PasteAction . setEnabled ( false ) ; m_StartAction . setEnabled ( false ) ; m_StopAction . setEnabled ( true ) ; } }
target:  Gets sent when a script finishes execution.