[
https://issues.jboss.org/browse/JBIDE-22382?page=com.atlassian.jira.plugi...
]
Fred Bricon edited comment on JBIDE-22382 at 6/3/16 4:00 PM:
-------------------------------------------------------------
Proposed solution: change Red Hat's shadowman icon to use the Red Hat Developer one:
!central-rhd-icon.png|width=800!
PR:
https://github.com/jbosstools/jbosstools-central/pull/382
If a devstudio 10 respin was happening before the release, it might be a good idea to slip
that change in. [~tmancini], [~pmuir], [~akazakov], [~maxandersen], [~ldimaggio],
thoughts?
was (Author: fbricon):
Proposed solution: change Red Hat's shadowman icon to use the Red Hat Developer one:
!central-rhd-icon.png|width=800!
If a devstudio 10 respin was happening before the release, it might be a good idea to slip
that change in. [~tmancini], [~pmuir], [~akazakov], [~maxandersen], [~ldimaggio],
thoughts?
Use different icons for EAP server and Red Hat Central
------------------------------------------------------
Key: JBIDE-22382
URL:
https://issues.jboss.org/browse/JBIDE-22382
Project: Tools (JBoss Tools)
Issue Type: Enhancement
Components: central, server
Affects Versions: 4.4.0.Alpha2
Reporter: Marián Labuda
Priority: Minor
Attachments: central-rhd-icon.png
If there is an EAP server present in Servers view, workbench tool bar contains 2 same
icons - Select a default server icon is same as Red Hat Central icon. We should make this
explicitly different.
--
This message was sent by Atlassian JIRA
(v6.4.11#64026)