[
https://issues.jboss.org/browse/JBIDE-12800?page=com.atlassian.jira.plugi...
]
Mickael Istria commented on JBIDE-12800:
----------------------------------------
It's still here, but not activated by default in JBDS.
I don't know what's the best place for such a feature...
Put org.jboss.tools.central.themes in category.
------------------------------------------------
Key: JBIDE-12800
URL:
https://issues.jboss.org/browse/JBIDE-12800
Project: Tools (JBoss Tools)
Issue Type: Feature Request
Components: updatesite
Affects Versions: 4.0.0.Alpha2
Reporter: Radim Hopp
Assignee: Mickael Istria
Fix For: 4.0.0.Beta1
Plugin for theming was added in JBIDE-12552, but it isn't shown in any category.
Please, figure out some place (category) to put org.jboss.tools.central.themes.feature.
Now, only way to install org.jboss.tools.central.themes.feature is to install
org.jboss.tools.central.themes.feature.source.feature.group and
org.jboss.tools.central.themes.feature gets installed as dependency.
--
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