public void repaintEditorComponent(int x, int y, int width, int height) {
    int topOverhang = Math.max(0, editor.myView.getTopOverhang());
    int bottomOverhang = Math.max(0, editor.myView.getBottomOverhang());
    repaint(x, y - topOverhang, width, height + topOverhang + bottomOverhang);
  }
public void repaintEditorComponent(int x, int y, int width, int height)