[ https://issues.jboss.org/browse/JBIDE-17616?page=com.atlassian.jira.plugi... ] Martin Malina edited comment on JBIDE-17616 at 6/16/14 7:10 AM: ---------------------------------------------------------------- [~ljelinko] has a good suggestion. What if we have the checkbox only in the server editor (like it used to be), but disable the launch configuration if not relevant, i.e. if "Externally managed" is checked, you can't even open the launch config. WDYT? I would be happy with that. was (Author: mmalina): [~ljelinko] has a good suggestion. What if we have the checkbox only in the server editor (like it used to be), but disable the launch configuration if not relevant, i.e. if "Externally managed" is checked, you can't even open the launch config. WHYT? I would be happy with that. -- This message was sent by Atlassian JIRA (v6.2.6#6264)