arduino/esp8266
1
0
Fork 0
mirror of https://github.com/esp8266/Arduino.git synced 2025-06-17 22:23:10 +03:00
Code Activity

Lowering minimum editor heights for netbooks

Browse Source 
http://code.google.com/p/arduino/issues/detail?id=52
This commit is contained in:
David A. Mellis
2012-02-14 16:13:39 -08:00
parent cb8e184ab8
commit 6ab18ea1cc
2 changed files with 11 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
app/src/processing/app/Editor.java
View File

@ -264,7 +264,9 @@ public class Editor extends JFrame implements RunnerListener {
splitPane.setDividerSize(dividerSize); splitPane.setDividerSize(dividerSize);
} }
splitPane.setMinimumSize(new Dimension(600, 400)); // the following changed from 600, 400 for netbooks
// http://code.google.com/p/arduino/issues/detail?id=52
splitPane.setMinimumSize(new Dimension(600, 100));
box.add(splitPane); box.add(splitPane);
// hopefully these are no longer needed w/ swing // hopefully these are no longer needed w/ swing

11
build/shared/lib/preferences.txt
View File

@ -76,11 +76,16 @@ editor.window.width.default = 500
editor.window.height.default = 600 editor.window.height.default = 600
editor.window.width.min = 400 editor.window.width.min = 400
editor.window.height.min = 500 editor.window.height.min = 290
# the following commented out to better support netbooks
# http://code.google.com/p/arduino/issues/detail?id=52
#editor.window.height.min = 500
# tested as approx 440 on OS X # tested as approx 440 on OS X
editor.window.height.min.macosx = 450 #editor.window.height.min.macosx = 450
# tested to be 515 on Windows XP, this leaves some room # tested to be 515 on Windows XP, this leaves some room
editor.window.height.min.windows = 530 #editor.window.height.min.windows = 530
# font size for editor # font size for editor
editor.font=Monospaced,plain,12 editor.font=Monospaced,plain,12