@Override
  public BackgroundEditorHighlighter getBackgroundHighlighter() {
    if (myBackgroundEditorHighlighter == null) {
      myBackgroundEditorHighlighter = new MyBackgroundEditorHighlighter(editor);
    }
    return myBackgroundEditorHighlighter;
  }
@Override
  public BackgroundEditorHighlighter getBackgroundHighlighter()