diff --git a/app/src/processing/app/ui/Editor.java b/app/src/processing/app/ui/Editor.java index 2abf0d4b0..bb654d5f2 100644 --- a/app/src/processing/app/ui/Editor.java +++ b/app/src/processing/app/ui/Editor.java @@ -43,6 +43,7 @@ import processing.core.*; import java.awt.BorderLayout; import java.awt.Color; import java.awt.Component; +import java.awt.Dimension; import java.awt.EventQueue; import java.awt.Font; import java.awt.Frame; @@ -347,10 +348,11 @@ public abstract class Editor extends JFrame implements RunnerListener { state.apply(this); // Set the minimum size for the editor window - int minWidth = Preferences.getInteger("editor.window.width.min"); - int minHeight = Preferences.getInteger("editor.window.height.min"); - //setMinimumSize(new Dimension(minWidth, minHeight)); - setMinimumSize(Toolkit.zoom(minWidth, minHeight)); + int minWidth = + Toolkit.zoom(Preferences.getInteger("editor.window.width.min")); + int minHeight = + Toolkit.zoom(Preferences.getInteger("editor.window.height.min")); + setMinimumSize(new Dimension(minWidth, minHeight)); // Bring back the general options for the editor applyPreferences(); diff --git a/app/src/processing/app/ui/EditorStatus.java b/app/src/processing/app/ui/EditorStatus.java index fd97751ac..3a2443296 100644 --- a/app/src/processing/app/ui/EditorStatus.java +++ b/app/src/processing/app/ui/EditorStatus.java @@ -328,11 +328,11 @@ public class EditorStatus extends BasicSplitPaneDivider { //JPanel { public Dimension getMinimumSize() { - return Toolkit.zoom(300, HIGH); + return new Dimension(Toolkit.zoom(300), HIGH); } public Dimension getMaximumSize() { - return Toolkit.zoom(super.getMaximumSize().width, HIGH); + return new Dimension(super.getMaximumSize().width, HIGH); } } diff --git a/app/src/processing/app/ui/Toolkit.java b/app/src/processing/app/ui/Toolkit.java index 53e6a9f44..40f7d7437 100644 --- a/app/src/processing/app/ui/Toolkit.java +++ b/app/src/processing/app/ui/Toolkit.java @@ -844,9 +844,11 @@ public class Toolkit { } + /* static Dimension zoom(int w, int h) { return new Dimension(zoom(w), zoom(h)); } + */ // . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .