mirror of
https://github.com/processing/processing4.git
synced 2026-02-04 06:09:17 +01:00
notes and potential workaround for #3591
This commit is contained in:
@@ -865,6 +865,13 @@ public class JavaTextAreaPainter extends TextAreaPainter
|
||||
// . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
|
||||
|
||||
|
||||
@Override
|
||||
public int getWidth() {
|
||||
// https://github.com/processing/processing/issues/3591
|
||||
return super.getWidth() - Editor.LEFT_GUTTER;
|
||||
}
|
||||
|
||||
|
||||
public Editor getEditor() {
|
||||
return ((JavaTextArea) textArea).editor;
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user