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

[Rob Stryker (JIRA)]

     [ https://issues.jboss.org/browse/JBIDE-17071?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Rob Stryker updated JBIDE-17071:
--------------------------------

    Fix Version/s: 4.2.x
                       (was: 4.2.0.Beta2)

    
> 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.x
>
>         Attachments: server-profile.png
>
>
> 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.
> !server-profile.png!
> 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