mirror of
https://github.com/processing/processing4.git
synced 2026-06-16 04:26:26 +02:00
fix the twice-doubled status bar
This commit is contained in:
@@ -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();
|
||||
|
||||
@@ -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);
|
||||
}
|
||||
}
|
||||
|
||||
@@ -844,9 +844,11 @@ public class Toolkit {
|
||||
}
|
||||
|
||||
|
||||
/*
|
||||
static Dimension zoom(int w, int h) {
|
||||
return new Dimension(zoom(w), zoom(h));
|
||||
}
|
||||
*/
|
||||
|
||||
|
||||
// . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
|
||||
|
||||
Reference in New Issue
Block a user