Teiid-Designer/teiid-designer — pull request #98 by phantomjinx (2013-02-07 16:43:26+00:00)
Title: Panel for default server

PEOPLE MAY WANT TO HAVE A LOOK BEFORE IT IS MERGED!!

* Provides a small collapsible panel that shows the current default teiid
server and version

* ModelerCore
* Need to allow server manager to set the default server to null if all
servers are deleted
* Notify listeners of server change even if there is not a server version
change

* ITeiidServerVersionListener
* Addition of method for serverChanged so listeners can be notified of
a change of server even without a change of server version

* ModelExporerResourceNavigator
* Adds form section to bottom of view, showing current default server and
its version.
* Hyperlinks to servers view from value of server
* Updates on server and server version changes