238239240241242243244245246247248
// If there was a previous manager, unlisten. if (_manager != null) { _manager.removeExecutionListener(this); } manager.addExecutionListener(this); _manager = manager; } return manager; }
107108109110111112113114115116117
getContentPane().add(_pane, BorderLayout.CENTER); Manager manager = model.getManager(); if (manager != null) { manager.addExecutionListener(this); } // Make the go button the default. _pane.setDefaultButton();
188189190191192193194195196197198
} Manager manager = model.getManager(); if (manager != null) { manager.addExecutionListener(this); } } } ///////////////////////////////////////////////////////////////////
426427428429430431432433434435436
if (manager == null) { manager = new Manager(actor.workspace(), "manager"); actor.setManager(manager); } manager.addExecutionListener(this); _activeCount++; // Run the model in a new thread. manager.startRun(); }