[teiid-designer-dev] [Teiid-Designer/teiid-designer] 6dfe30: TEIIDDES-1615 Added preference changed listener to...
Branch: refs/heads/master
Home: https://github.com/Teiid-Designer/teiid-designer
Commit: 6dfe30a14d3955f4b7fcfe9dc5e7304c4add2e01
https://github.com/Teiid-Designer/teiid-designer/commit/6dfe30a14d3955f4b...
Author: Barry LaFond <blafond(a)redhat.com>
Date: 2013-03-08 (Fri, 08 Mar 2013)
Changed paths:
M
plugins/org.teiid.designer.ui/src/org/teiid/designer/ui/explorer/ModelExplorerResourceNavigator.java
Log Message:
-----------
TEIIDDES-1615 Added preference changed listener to update server version on property
change