1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-03-13 10:29:35 +01:00

Fixed default initial editor size

This commit is contained in:
Cristian Maglie 2016-01-17 14:04:13 +02:00
parent 639d991dad
commit 5642c291d7
2 changed files with 8 additions and 8 deletions

View File

@ -339,12 +339,6 @@ public class Editor extends JFrame implements RunnerListener {
pane.setTransferHandler(new FileDropHandler());
// Finish preparing Editor (formerly found in Base)
pack();
// Set the window bounds and the divider location before setting it visible
setPlacement(storedLocation, defaultLocation);
// Set the minimum size for the editor window
setMinimumSize(scale(new Dimension(
PreferencesData.getInteger("editor.window.width.min"),
@ -353,6 +347,12 @@ public class Editor extends JFrame implements RunnerListener {
// Bring back the general options for the editor
applyPreferences();
// Finish preparing Editor (formerly found in Base)
pack();
// Set the window bounds and the divider location before setting it visible
setPlacement(storedLocation, defaultLocation);
// Open the document that was passed in
boolean loaded = handleOpenInternal(file);
if (!loaded) sketch = null;

View File

@ -104,8 +104,8 @@ public class EditorConsole extends JScrollPane {
int height = metrics.getAscent() + metrics.getDescent();
int lines = PreferencesData.getInteger("console.lines");
int sizeFudge = 6; //10; // unclear why this is necessary, but it is
setPreferredSize(new Dimension(1024, (height * lines) + sizeFudge));
setMinimumSize(new Dimension(1024, (height * 5) + sizeFudge));
setPreferredSize(new Dimension(100, (height * lines) + sizeFudge));
setMinimumSize(new Dimension(100, (height * 5) + sizeFudge));
EditorConsole.init(stdOutStyle, System.out, stdErrStyle, System.err);
}