void nextTheme() { String themeNames[] = ThemeManager.instance.themeList.keySet().toArray(new String[0]); Arrays.sort(themeNames); int current = Arrays.binarySearch(themeNames, ThemeManager.currentThemeName); if (current < 0) current = 0; else current = (current + 1) % themeNames.length; ThemeManager.currentTheme = ThemeManager.instance.buildTheme(themeNames[current]); ThemeManager.currentThemeName = themeNames[current]; currentThemeSource.themeChanged(ThemeManager.instance.themeList.get(themeNames[current]).name); }
private void addThemeRow(GuiElement element) { int pos = 0; if (options.size() > 0) { ConfigEntry last = options.get(options.size() - 1); pos = last.relativeY() + last.height(); } currentThemeSource = new CurrentThemeTextSource(); currentThemeSource.currentThemeName = ThemeManager.currentThemeName; ConfigEntry entry = new ConfigEntry(currentThemeSource, element, pos); options.add(entry); innerPanel.addElement(entry); // entry.anchor(AnchorPoint.TOP_LEFT, AnchorPoint.TOP_RIGHT); }