[jbosstools-issues] [JBoss JIRA] (JBIDE-12552) Create an org.jboss.tools.central.themes plugin
Mickael Istria (JIRA)
jira-events at lists.jboss.org
Sun Sep 16 11:39:34 EDT 2012
[ https://issues.jboss.org/browse/JBIDE-12552?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=12718943#comment-12718943 ]
Mickael Istria commented on JBIDE-12552:
----------------------------------------
Plugin and feature for theming have been successfully added to the aggregated site. However, the feature is not categorized. Which category would suit for this feature? Should we create a new one?
> Create an org.jboss.tools.central.themes plugin
> -----------------------------------------------
>
> Key: JBIDE-12552
> URL: https://issues.jboss.org/browse/JBIDE-12552
> Project: Tools (JBoss Tools)
> Issue Type: Enhancement
> Components: central
> Reporter: Mickael Istria
> Assignee: Mickael Istria
> Fix For: 4.0.0.Alpha2
>
> Attachments: JBIDE-12552-wip.patch, org.jboss.tools.central.themes.zip
>
>
> Create this plugin and add to it the CSS files and the Java classes we'll use for branding.
--
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
More information about the jbosstools-issues
mailing list