private ColorAndStyle getLineNumberBackgroundColorAndStyle() {
if (lineNumberBackgroundColorAndStyle == null) {
EditorThemeProperties props = EditorThemePropertiesManager.getCurrentEditorThemeProperties();
lineNumberBackgroundColorAndStyle = new ColorAndStyle("Line Number Background Color",
props.getLineNumberBackgroundColor(), null);
lineNumberBackgroundColorAndStyle.addListener(new ColorAndStyleAdapter() {
@Override
public void colorChanged(Color newColor) {
EditorThemeProperties themeProps = EditorThemePropertiesManager.getCurrentEditorThemeProperties();
themeProps.setLineNumberBackgroundColor(newColor);