Searched refs:currentTheme (Results 1 – 1 of 1) sorted by relevance
96 String currentTheme = configuration.getTheme(); in showThemeMenu() local98 if (currentTheme != null) { in showThemeMenu()99 currentName = ResourceHelper.styleToTheme(currentTheme); in showThemeMenu()102 currentTheme, in showThemeMenu()110 if (preferred != null && !preferred.equals(currentTheme)) { in showThemeMenu()157 if (currentTheme != null) { in showThemeMenu()161 manager.add(new OpenThemeAction(title, configChooser.getEditedFile(), currentTheme)); in showThemeMenu()