[jbosstools-issues] [JBoss JIRA] (JBIDE-12552) Create an org.jboss.tools.central.themes plugin
[
https://issues.jboss.org/browse/JBIDE-12552?page=com.atlassian.jira.plugi...
]
Radim Hopp closed JBIDE-12552.
------------------------------
Verified, that themes plugin is on updatesite. But for now it cannot be (easily)
installed. Followup in JBIDE-12800. Closing.
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