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&gt; 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&gt; 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...