[jbosstools-issues] [JBoss JIRA] (JBIDE-17071) Profile in Server Editor should not be a drop down menu

[Martin Malina (JIRA)]

Martin Malina created JBIDE-17071:
-------------------------------------

             Summary: Profile in Server Editor should not be a drop down menu
                 Key: JBIDE-17071
                 URL: https://issues.jboss.org/browse/JBIDE-17071
             Project: Tools (JBoss Tools)
          Issue Type: Bug
          Components: server
    Affects Versions: 4.2.0.Beta1
         Environment: JBT 4.2.0.Beta1 B105
            Reporter: Martin Malina
            Assignee: Rob Stryker
             Fix For: 4.2.0.Beta2


In the past, one could change if a server is local or remote in the server editor.
Now that it's no longer possible to change the profile (as it's now called) after the server is created, it is displayed as a disabled drop down menu. Since it will never be enabled, it shouldn't probably be a drop down menu at all. Also, currently this drop down menu does not have any title.
So instead of that, I suggest just printing something like this:
Profile: <profile_name>

--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see: http://www.atlassian.com/software/jira