[
https://issues.jboss.org/browse/JBIDE-12800?page=com.atlassian.jira.plugi...
]
Nick Boldt commented on JBIDE-12800:
------------------------------------
{quote}
(2012-11-08 11:31:32) nboldt1: maxandersen: mistria: going to remove both
org.jboss.tools.central.themes.feature and org.jboss.tools.central.themes.feature.source
from JBT agg site. +1?
(2012-11-08 11:32:47) mistria: niboldt1 maxandersen: it's a pity we couldn't
simply agree on a category to host this feature. I vote "0".
(2012-11-08 11:36:40) maxandersen: nboldt1: then im +1 for general
(2012-11-08 11:40:04) nboldt1: you mean "Miscellaneous Tools" or
"Incubating Tools" ?
(2012-11-08 11:40:26) maxandersen: yeah something like that
(2012-11-08 11:40:40) maxandersen: or an Other ;)
(2012-11-08 11:43:25) nboldt1: OK, Other Tools it is
{code}
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: Nick Boldt
Labels: ece2012
Fix For: 4.0.0.Beta2
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