Teiid-Designer/teiid-designer — pull request #149 by mdrillin (2013-05-02 15:26:32+00:00)
Title: TEIIDDES-1694 Improves options for setting the default server

Added link to the Default Server panel, which allows the user to change the default server there. Also improved the server selection dialog, and added the action to the Guides view menu.