jbosstools/jbosstools-server — pull request #254 by robstryker (2014-07-21 12:47:53+00:00)
Title: JBIDE-17847 - Bad UI workflow when changing the profile of a server

Ensure editor closes early. Disable 'cancel' button during changes until a better solution can be found.