rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-04-06 21:57:57 +02:00
Code Issues Releases Activity

updated revisions

Browse Source
This commit is contained in:
Cristian Maglie 2017-05-31 15:41:20 +02:00
parent 5e95561900
commit 48d88f5dbd
1 changed files with 12 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
build/shared/revisions.txt
View File

@ -1,10 +1,21 @@
ARDUINO 1.8.3 ARDUINO 1.8.3
(bugfix service release)
[ide] [ide]
* Fixed RESOURCE_NAME in install.sh script
* Serial Monitor: added "Clear output" button. Thanks @MichaelSy * Serial Monitor: added "Clear output" button. Thanks @MichaelSy
* added option in preferences.txt for: custom title, comment/uncomment shortcut, always show file extensions. Thanks @MichaelSy * added options in preferences.txt for: custom title, comment/uncomment shortcut, always show file extensions. Thanks @MichaelSy
* added options in preferences.txt to enable/disable typing assistance (auto close brace, auto indent)
* Enabling "Use external editor" option now requires to save all sketches. * Enabling "Use external editor" option now requires to save all sketches.
[core]
* AVR: added availableForWrite() method in generic Stream class. Thanks @eric-wieser
* AVR: moved flush() method up in the class hierarchy from Stream to Print class. Thanks @matthijskooijman
[other]
* Update Wifi101 Firmware Updater plugin
ARDUINO 1.8.2 2017.03.22 ARDUINO 1.8.2 2017.03.22
[ide] [ide]