getPreviewLabel().setPreferredSize(new Dimension(width, height));
}
private void initializeFontAndTheme() {
// Read the theme properties
IEditorThemeProperties themeProps = EditorThemePropertiesManager.getCurrentEditorThemeProperties();
// Set selected theme
ComboBoxUtil.setSelected(getThemeComboBox(), themeProps.getThemeName());
// Set selected font name
ComboBoxUtil.setSelected(getFontNameComboBox(), themeProps.getFontName());
// Set selected font style
ComboBoxUtil.setSelected(getFontStyleComboBox(), themeProps.getNormalTextStyle());
// Set selected font size
ComboBoxUtil.setSelected(getFontSizeComboBox(), "" + themeProps.getFontSize());
}