[teiid-designer-dev] [Teiid-Designer/teiid-designer] 6dfe30: TEIIDDES-1615 Added preference changed listener to...

[Barry LaFond]

  Branch: refs/heads/master
  Home:   https://github.com/Teiid-Designer/teiid-designer
  Commit: 6dfe30a14d3955f4b7fcfe9dc5e7304c4add2e01
      https://github.com/Teiid-Designer/teiid-designer/commit/6dfe30a14d3955f4b7fcfe9dc5e7304c4add2e01
  Author: Barry LaFond <blafond at 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