Branch: refs/heads/master Home: https://github.com/Teiid-Designer/teiid-designer Commit: 8a427a19fa087d4e68caa63fe7552eb092bb9260 https://github.com/Teiid-Designer/teiid-designer/commit/8a427a19fa087d4e6... Author: Paul Richardson <p.g.richardson(a)redhat.com&gt; Date: 2013-02-07 (Thu, 07 Feb 2013) Changed paths: M plugins/org.teiid.designer.core/src/org/teiid/designer/core/ModelerCore.java M plugins/org.teiid.designer.diagram.ui/src/org/teiid/designer/diagram/ui/util/DiagramEntityManager.java M plugins/org.teiid.designer.spi/src/org/teiid/designer/runtime/spi/ITeiidServerVersionListener.java M plugins/org.teiid.designer.transformation/src/org/teiid/designer/transformation/util/SqlMappingRootCache.java M plugins/org.teiid.designer.udf/src/org/teiid/designer/udf/UdfManager.java M plugins/org.teiid.designer.ui/src/org/teiid/designer/ui/explorer/ModelExplorerResourceNavigator.java M plugins/org.teiid.designer.ui/src/org/teiid/designer/ui/i18n.properties Log Message: ----------- Add a small default server status panel to Model Explorer view * Provides a small collapsible panel that shows the current default teiid server and version * ModelerCore * Need to allow server manager to set the default server to null if all servers are deleted * Notify listeners of server change even if there is not a server version change * ITeiidServerVersionListener * Addition of method for serverChanged so listeners can be notified of a change of server even without a change of server version * ModelExporerResourceNavigator * Adds form section to bottom of view, showing current default server and its version. * Hyperlinks to servers view from value of server * Updates on server and server version changes Commit: d25adced8df00654b2d088e94c47decd0ec145c1 https://github.com/Teiid-Designer/teiid-designer/commit/d25adced8df00654b... Author: Barry LaFond <blafond(a)redhat.com&gt; Date: 2013-02-07 (Thu, 07 Feb 2013) Changed paths: M plugins/org.teiid.designer.core/src/org/teiid/designer/core/ModelerCore.java M plugins/org.teiid.designer.diagram.ui/src/org/teiid/designer/diagram/ui/util/DiagramEntityManager.java M plugins/org.teiid.designer.spi/src/org/teiid/designer/runtime/spi/ITeiidServerVersionListener.java M plugins/org.teiid.designer.transformation/src/org/teiid/designer/transformation/util/SqlMappingRootCache.java M plugins/org.teiid.designer.udf/src/org/teiid/designer/udf/UdfManager.java M plugins/org.teiid.designer.ui/src/org/teiid/designer/ui/explorer/ModelExplorerResourceNavigator.java M plugins/org.teiid.designer.ui/src/org/teiid/designer/ui/i18n.properties Log Message: ----------- Merge pull request #98 from phantomjinx/master Panel for default server Compare: https://github.com/Teiid-Designer/teiid-designer/compare/220e9cb0c3c4...d...