[jbosstools-issues] [JBoss JIRA] (JBDS-3897) Use "Red Hat JBoss Developer Studio" instead of "Red Hat Developer Studio" in graphics

[ https://issues.jboss.org/browse/JBDS-3897?page=com.atlassian.jira.plugin.... ] Nick Boldt edited comment on JBDS-3897 at 5/20/16 1:56 PM: ----------------------------------------------------------- [~sjcox] We'll need a few images changed again because of this change to the product name: installer/src/config/resources/images/heading.png plugins/com.jboss.devstudio.core/splash.bmp (24-bit bitmap ONLY) plugins/com.jboss.devstudio.core/about_devstudio.jpg content/images/devstudio_banner.png You can see the images here [1], and I've also attached them to this JIRA. [1] https://github.com/jbdevstudio/jbdevstudio-artwork/blob/master/devstudio1... Sorry about this - only got the official word from on high that we're keeping the "JBoss" part of the name yesterday. was (Author: nickboldt): [~sjcox] We'll need a few images changed again because of this change to the product name: installer/src/config/resources/images/heading.png plugins/com.jboss.devstudio.core/splash.bmp plugins/com.jboss.devstudio.core/about_devstudio.jpg content/images/devstudio_banner.png You can see the images here [1], and I've also attached them to this JIRA. [1] https://github.com/jbdevstudio/jbdevstudio-artwork/blob/master/devstudio1... Sorry about this - only got the official word from on high that we're keeping the "JBoss" part of the name yesterday. -- This message was sent by Atlassian JIRA (v6.4.11#64026)