this.userInterface.addInstrument(this);
}
public void update(Observable o, Object arg) {
synchronized (this.theMutexObject) {
if(arg instanceof AUIEvent) {
AUIEvent event = (AUIEvent)arg;
switch (event.getType()) {
case DEF_CHANGE_UI_STYLE: {
SwingUtilities.invokeLater(new Runnable() {
public void run() {
synchronized (ZoomPanel.this.theMutexObject) {
SwingUtilities.updateComponentTreeUI(ZoomPanel.this.toolBar);