944945946947948949950951952953954
startButton.setSelected(stopTutorial.isEnabled()); } }; startTutorial.addPropertyChangeListener(pcl); stopTutorial.addPropertyChangeListener(pcl); pluginRegistry.addPluginListener( new PluginListener() { public void pluginStarted(PluginEvent e) { }
951952953954955956957958959960961