From 05eeadd8c393df46c79348469a3e1839b2e2b795 Mon Sep 17 00:00:00 2001 From: Ben Fry Date: Thu, 13 Jan 2022 13:22:57 -0500 Subject: [PATCH] hack to get the scrollbar to line up properly --- app/src/processing/app/syntax/JEditTextArea.java | 3 +++ 1 file changed, 3 insertions(+) diff --git a/app/src/processing/app/syntax/JEditTextArea.java b/app/src/processing/app/syntax/JEditTextArea.java index aeb002789..312318da0 100644 --- a/app/src/processing/app/syntax/JEditTextArea.java +++ b/app/src/processing/app/syntax/JEditTextArea.java @@ -20,6 +20,7 @@ import java.util.Arrays; import java.util.Enumeration; import java.util.Vector; +import javax.swing.border.EmptyBorder; import javax.swing.event.*; import javax.swing.text.*; import javax.swing.undo.*; @@ -134,6 +135,8 @@ public class JEditTextArea extends JComponent add(painter, BorderLayout.CENTER); add(vertical = new JScrollBar(Adjustable.VERTICAL), BorderLayout.EAST); add(horizontal = new JScrollBar(Adjustable.HORIZONTAL), BorderLayout.SOUTH); + // what a dreadful hack to get the scrollbar to align + horizontal.setBorder(new EmptyBorder(0, 0, 0, vertical.getPreferredSize().width)); /* // this fixes the glitch at the lower-right of the scrollbars,