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