ComboBoxUtil.setSelected(getThemeComboBox(), themeName);
EditorPropertiesManager.getEditorProperties().setThemeName(themeName);
EditorPropertiesManager.saveEditorProperties();
EditorThemeProperties themeProps = EditorThemePropertiesManager.getCurrentEditorThemeProperties();
themeProps.setThemeName(themeName);
themeProps.setFontName(ComboBoxUtil.getSelectedName(getFontNameComboBox()));
themeProps.setFontSize(Integer.parseInt(ComboBoxUtil.getSelectedName(getFontSizeComboBox())));
EditorThemePropertiesManager.saveEditorThemeProperties(file);
dispose(); // Only when save was successful