private void scrollArea(int scrollRegionTop, int scrollRegionSize, int dy) { myDisplay.scrollArea(scrollRegionTop, scrollRegionSize, dy); myTerminalTextBuffer.scrollArea(scrollRegionTop, dy, scrollRegionTop + scrollRegionSize - 1); }