[
https://issues.jboss.org/browse/JBDS-2631?page=com.atlassian.jira.plugin....
]
Mickael Istria updated JBDS-2631:
---------------------------------
Attachment: rhTheme.jpg
Screenshot of the theme.
IMO branding/theming is not about "solving actual problem", it's about
giving an identity to a product to make it different and easy to recognize.
Nothing prevents people from disabling a theme or updating it according to their
preferences.
Enable new CSS
--------------
Key: JBDS-2631
URL:
https://issues.jboss.org/browse/JBDS-2631
Project: Developer Studio (JBoss Developer Studio)
Issue Type: Feature Request
Security Level: Public(Everyone can see)
Components: ui/branding
Reporter: Mickael Istria
Fix For: 7.0.0.Beta2
Attachments: rhTheme.jpg
Install new theme provided by DESIGN-315 and discuss about enabling it by default.
--
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