[jbosstools-issues] [JBoss JIRA] (JBIDE-10685) Restart Forge When Default Runtime Preference Changes

Koen Aers created JBIDE-10685: --------------------------------- Summary: Restart Forge When Default Runtime Preference Changes Key: JBIDE-10685 URL: https://issues.jboss.org/browse/JBIDE-10685 Project: Tools (JBoss Tools) Issue Type: Task Components: forge Reporter: Koen Aers Assignee: Koen Aers Fix For: 3.3.0.Beta1 As the Forge runtime is now decoupled from the Forge view. The Forge view will use the default runtime as indicated by the Forge preferences. It follows that the runtime needs to be restarted when this default changes. -- This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators: https://issues.jboss.org/secure/ContactAdministrators!default.jspa For more information on JIRA, see: http://www.atlassian.com/software/jira