private ColorAndStyle getAnnotationTextColorAndStyle() {
if (annotationTextColorAndStyle == null) {
EditorThemeProperties props = EditorThemePropertiesManager.getCurrentEditorThemeProperties();
annotationTextColorAndStyle = new ColorAndStyle("Annotation Color", props.getAnnotationTextColor(),
props.getAnnotationTextStyle());
annotationTextColorAndStyle.addListener(new ColorAndStyleAdapter() {
@Override
public void colorChanged(Color newColor) {
EditorThemeProperties themeProps = EditorThemePropertiesManager.getCurrentEditorThemeProperties();
themeProps.setAnnotationTextColor(newColor);