diff --git a/processing/app/PdeEditorConsole.java b/processing/app/PdeEditorConsole.java index 9d99a4bcc..9e21b70bd 100644 --- a/processing/app/PdeEditorConsole.java +++ b/processing/app/PdeEditorConsole.java @@ -235,6 +235,10 @@ public class PdeEditorConsole extends Component { scrollUpBottom = scrollUpTop + SCROLL_SIZE; scrollDownBottom = sizeH - SCROLL_INSET; + if ((PdeBase.platform == PdeBase.MACOSX) || + (PdeBase.platform != PdeBase.MACOS9)) { + scrollDownBottom -= 20; // because size boxes intrude + } scrollDownTop = scrollDownBottom - SCROLL_SIZE; g.setColor(scrollEnabledColor);