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>
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>
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...