944945946947948949950951952953954
startButton.setSelected(stopTutorial.isEnabled()); } }; startTutorial.addPropertyChangeListener(pcl); stopTutorial.addPropertyChangeListener(pcl); pluginRegistry.addPluginListener( new PluginListener() { public void pluginStarted(PluginEvent e) { }
951952953954955956957958959960961
256257258259260261262263264265266
} mi.setActionCommand(astr); Action a = getAction(astr); if (a != null) { mi.addActionListener(a); a.addPropertyChangeListener(createActionChangeListener(mi)); mi.setEnabled(a.isEnabled()); } else { mi.setEnabled(false); } menuItems.put(cmd, mi);
201202203204205206207208209210211
b.setActionCommand(aname); if (a != null) { b.addActionListener(a); b.setEnabled(a.isEnabled()); a.addPropertyChangeListener(new ButtonPropertyChangedListener(b)); } else { b.setEnabled(false); } String tip = comp.getSettings().getLanguageDependentString(depName + TOOLTIP_POSTFIX);
394395396397398399400401402403404
mi.setActionCommand(aname); if (a != null) { mi.addActionListener(a); if (addBCListener) { a.addPropertyChangeListener(new ButtonPropertyChangedListener(mi)); } mi.setEnabled(a.isEnabled()); } else { mi.setEnabled(false); }