eessppeelllloo/processing4
1
0
Fork 0
mirror of https://github.com/processing/processing4.git synced 2026-02-04 14:19:19 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'master' of github.com:processing/processing4

Browse Source
This commit is contained in:
Ben Fry
2019-11-15 14:08:16 -05:00
parent f0125fea0e 2a590c3ae1
commit db7fcd097c
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
app/src/processing/app/ui/Editor.java
View File

@@ -79,7 +79,10 @@ public abstract class Editor extends JFrame implements RunnerListener {
protected EditorState state;
protected Mode mode;
static public final int LEFT_GUTTER = Toolkit.zoom(44);
// There may be certain gutter sizes which cause text bounds inside the console to be calculated incorrectly. 45
// seems to work but change with caution.
static public final int LEFT_GUTTER = Toolkit.zoom(45);
static public final int RIGHT_GUTTER = Toolkit.zoom(12);
static public final int GUTTER_MARGIN = Toolkit.zoom(3);