rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-29 18:52:13 +01:00
Code Issues Releases Activity

Lowering minimum size for Editor text area.

Browse Source 
This should make it possible to shrink the overall IDE window without
losing the scroll bars on the text pane.

http://code.google.com/p/arduino/issues/detail?id=52
This commit is contained in:
David A. Mellis 2012-03-11 15:05:44 -04:00
parent 04c9bb2f4d
commit f1f2f8e49c
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
app/src/processing/app/syntax/TextAreaPainter.java
View File

@ -515,7 +515,10 @@ implements TabExpander, Printable
*/
public Dimension getMinimumSize()
{
return getPreferredSize();
Dimension dim = new Dimension();
dim.width = fm.charWidth('w') * 10;
dim.height = fm.getHeight() * 4;
return dim;
}
// package-private members