[teiid-designer-dev] [Teiid-Designer/teiid-designer] 7e8820: TEIIDDES-1775: Centralise the handling of the defa...
Branch: refs/heads/master
Home: https://github.com/Teiid-Designer/teiid-designer
Commit: 7e8820ef51b82c642439b865f4d1cf8fd54d06a9
https://github.com/Teiid-Designer/teiid-designer/commit/7e8820ef51b82c642...
Author: Paul Richardson <p.g.richardson(a)redhat.com>
Date: 2013-07-16 (Tue, 16 Jul 2013)
Changed paths:
M
plugins/org.teiid.designer.dqp/src/org/teiid/designer/runtime/TeiidServerManager.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
M
plugins/org.teiid.designer.ui/src/org/teiid/designer/ui/preferences/DefaultTeiidServerPreferenceContributor.java
Log Message:
-----------
TEIIDDES-1775: Centralise the handling of the default server preference
* Rather than the ModelExplorerResourceNavigator listening for the server
preference change, have the TeiidServerManager deal with it in the same
manner as a default server change. Ensures that editors can be closed
if necessary.
* DefaultTeiidServerPreferenceContributor
* Since editors may be closed as a consequence of the server version
preference being modified, ask the user if this is acceptable and if
not then do not apply the change in preference.
* Sort the runtime version available with the most recent at the top.
* TeiidServerManager
* Adds the preference listener
* Run the closeEditors function on the UI thread to avoid any possibility
of invalid thread access exceptions
Commit: 6000cc87859be16abf38571f365df188ed82bd65
https://github.com/Teiid-Designer/teiid-designer/commit/6000cc87859be16ab...
Author: Barry LaFond <blafond(a)redhat.com>
Date: 2013-07-16 (Tue, 16 Jul 2013)
Changed paths:
M
plugins/org.teiid.designer.dqp/src/org/teiid/designer/runtime/TeiidServerManager.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
M
plugins/org.teiid.designer.ui/src/org/teiid/designer/ui/preferences/DefaultTeiidServerPreferenceContributor.java
Log Message:
-----------
Merge pull request #206 from phantomjinx/TEIIDDES-1775
TEIIDDES-1775: Centralise the handling of the default server preference
Compare:
https://github.com/Teiid-Designer/teiid-designer/compare/6455d9ba7986...6...