/**
* @param themeToSelect the id of the theme to be selected
*/
private void refreshThemeCombo(String themeToSelect) {
themeCombo.removeAll();
ITheme currentTheme = PlatformUI.getWorkbench().getThemeManager()
.getCurrentTheme();
IThemeDescriptor[] descs = WorkbenchPlugin.getDefault()
.getThemeRegistry().getThemes();
String defaultThemeString = PlatformUI.getWorkbench().getThemeManager()
.getTheme(IThemeManager.DEFAULT_THEME).getLabel();
if (currentTheme.getId().equals(IThemeManager.DEFAULT_THEME)) {
defaultThemeString = NLS.bind(
WorkbenchMessages.ViewsPreference_currentThemeFormat,
new Object[] { defaultThemeString });
}
themeCombo.add(defaultThemeString);
String themeString;
int selection = 0;
for (int i = 0; i < descs.length; i++) {
themeString = descs[i].getName();
if (descs[i].getId().equals(currentTheme.getId())) {
themeString = NLS.bind(
WorkbenchMessages.ViewsPreference_currentThemeFormat,
new Object[] { themeString });
}
if (themeToSelect.equals(descs[i].getId())) {