Revision 44330 trunk/org.gvsig.desktop/org.gvsig.desktop.plugin/org.gvsig.app/org.gvsig.app.mainplugin/src/main/java/org/gvsig/app/imp/DefaultApplicationManager.java
DefaultApplicationManager.java | ||
---|---|---|
85 | 85 |
import org.gvsig.tools.extensionpoint.ExtensionPoint; |
86 | 86 |
import org.gvsig.tools.extensionpoint.ExtensionPoint.Extension; |
87 | 87 |
import org.gvsig.tools.extensionpoint.ExtensionPointManager; |
88 |
import org.gvsig.tools.observer.Observer; |
|
88 | 89 |
import org.gvsig.tools.persistence.PersistenceManager; |
89 | 90 |
import org.gvsig.tools.swing.api.ToolsSwingLocator; |
90 | 91 |
import org.gvsig.tools.swing.api.windowmanager.WindowManager; |
... | ... | |
617 | 618 |
public Map<String, Object> getProperties() { |
618 | 619 |
return this.psh.getProperties(); |
619 | 620 |
} |
621 |
|
|
622 |
@Override |
|
623 |
public void addPropertiesObserver(Observer o) { |
|
624 |
this.psh.addObserver(o); |
|
625 |
} |
|
626 |
|
|
627 |
@Override |
|
628 |
public void deletePropertiesObserver(Observer o) { |
|
629 |
this.psh.deleteObserver(o); |
|
630 |
} |
|
631 |
|
|
632 |
@Override |
|
633 |
public void deletePropertiesObservers() { |
|
634 |
this.psh.deleteObservers(); |
|
635 |
} |
|
636 |
|
|
620 | 637 |
} |
Also available in: Unified diff