This website requires JavaScript.
Explore
Help
Register
Sign In
rooty
/
Arduino
Watch
1
Star
0
Fork
0
You've already forked Arduino
mirror of
https://github.com/arduino/Arduino.git
synced
2025-01-20 09:52:13 +01:00
Code
Issues
Releases
Activity
Arduino
/
app
/
src
/
cc
/
arduino
History
Martino Facchin
4c8ac04727
Preferences: allow smaller window since checkboxes take less space
...
Fixes
#8238
2019-04-02 16:20:58 +02:00
..
contributions
makeup: using some lambdas where possible
2019-03-06 13:18:53 +01:00
packages
Make text monitor output area font size dynamically adjustable
2019-03-26 17:18:11 +01:00
view
Preferences: allow smaller window since checkboxes take less space
2019-04-02 16:20:58 +02:00
ConsoleOutputStream.java
Apply on-the-fly setFontSize to Console
2018-05-09 15:56:11 +02:00
UpdatableBoardsLibsFakeURLsHandler.java
Remove stray debug print
2016-04-01 17:05:54 +02:00
