[teiid-designer-dev] [Teiid-Designer/teiid-designer] dde35d: Open new server wizard if there is no default serv...

Branch: refs/heads/master Home: https://github.com/Teiid-Designer/teiid-designer Commit: dde35d4bda340df575f29e087aee224a67a9acd2 https://github.com/Teiid-Designer/teiid-designer/commit/dde35d4bda340df57... Author: Paul Richardson <p.g.richardson(a)redhat.com&gt; Date: 2013-02-19 (Tue, 19 Feb 2013) Changed paths: M plugins/org.teiid.designer.ui/src/org/teiid/designer/ui/explorer/ModelExplorerResourceNavigator.java Log Message: ----------- Open new server wizard if there is no default server * The server status panel displays a hyperlink and if no default server has text to that nature. The hyperlink opens the Servers view but if there is no default server then it also opens the new server wizard. Commit: 88994d25865a29f7628df9ccd81af70fd06ee64b https://github.com/Teiid-Designer/teiid-designer/commit/88994d25865a29f76... Author: Paul Richardson <p.g.richardson(a)redhat.com&gt; Date: 2013-02-19 (Tue, 19 Feb 2013) Changed paths: M plugins/org.teiid.designer.core/src/org/teiid/designer/core/ModelerCore.java M plugins/org.teiid.designer.ui/plugin.xml M plugins/org.teiid.designer.ui/src/org/teiid/designer/ui/PluginConstants.java M plugins/org.teiid.designer.ui/src/org/teiid/designer/ui/i18n.properties A plugins/org.teiid.designer.ui/src/org/teiid/designer/ui/preferences/DefaultTeiidServerPreferenceContributor.java Log Message: ----------- Add a preference for the last-resort default server version * If there are no teiid servers defined then a last-resort default server version must be used in order to still provide the runtime client services to modelling. * Replaces the hardcoded value with a preference that users can modify. * Values limited to installed runtime client versions. Compare: https://github.com/Teiid-Designer/teiid-designer/compare/b3cfb55fac78...8...