Font size pref should apply to serial monitor

leo25 / arduino

Automatically exported from code.google.com/p/arduino

0 stars 0 forks source link

Font size pref should apply to serial monitor #550

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago

What change would like to see?

The font size pref should also change the serial monitor font size.

Why?

Accessibility!  Users with limited vision require a larger font size.  Arduino 
has this capability for the editor.  But how useful is the whole system if the 
serial monitor isn't as accessible?

Would this cause any incompatibilities with previous versions?  If so, how
can these be mitigated?

Shouldn't cause any problems.

Original issue reported on code.google.com by paul.sto...@gmail.com on 26 May 2011 at 4:00

GoogleCodeExporter commented 9 years ago

Fine with me.  Patches welcome.

Original comment by dmel...@gmail.com on 25 Oct 2011 at 5:21

Changed state: Accepted

GoogleCodeExporter commented 9 years ago

Here is a patch.  :-)

Original comment by paul.sto...@gmail.com on 27 Oct 2011 at 8:54

Attachments:

serialmonitor_font_size.diff

GoogleCodeExporter commented 9 years ago

Here is another patch.  This one makes both the serial monitor and console 
panel (for error messages) use the editor's font size.

Original comment by paul.sto...@gmail.com on 31 Oct 2011 at 8:27

Attachments:

serialmonitor_and_console_font_size.diff

GoogleCodeExporter commented 9 years ago

I would really like to see the serial monitor and console font size patch be 
incorporated into Arduino. The above patch seems like the perfect solution for 
someone such as myself who has a hard time seeing the monitor and console. I 
use a font size of 20 on the editor, and then I have to lean forward and squint 
at the console or monitor. Please consider including this feature or some 
variant which allows setting all three or individually. That would really help 
:-) Thanks very much for your consideration :-)

Original comment by John.Aus...@gmail.com on 31 Oct 2011 at 10:06

GoogleCodeExporter commented 9 years ago

https://github.com/arduino/Arduino/commit/10aba52ab8be08acfe59e57ec53f55dde2ab75
09

Original comment by dmel...@gmail.com on 3 Dec 2011 at 9:28

Changed state: Fixed
Added labels: Component-IDE, Milestone-1.0.1

GoogleCodeExporter commented 9 years ago

[deleted comment]

GoogleCodeExporter commented 9 years ago

I am really confused about this issue. I see it says this problem has been 
fixed, but from what I can tell nothing has changed with the new 1.0 IDE. Am I 
missing where to change these fonts? I though all you had to do was change it 
on the Preference page where it says Editor Font Size. 

I have changed the main Editor Window font size to 12, but doing that seems to 
have no effect on the monitor, nor the console font size.

For clarification I am using the new 1.0 IDE. 
Thanks for your help
David W (Blacklab1)

Original comment by David9Wa...@hotmail.com on 7 Feb 2012 at 3:33

GoogleCodeExporter commented 9 years ago

You must compile the latest code from github, or wait until the next official 
Arduino release.

Original comment by paul.sto...@gmail.com on 9 Feb 2012 at 3:42

GoogleCodeExporter commented 9 years ago

Instructions for setting up the build environment and compiling the code are 
here:

http://code.google.com/p/arduino/wiki/BuildingArduino

Original comment by paul.sto...@gmail.com on 9 Feb 2012 at 3:44

GoogleCodeExporter commented 9 years ago

Issue 835 has been merged into this issue.

Original comment by dmel...@gmail.com on 29 Feb 2012 at 5:19