Arduino/src at 96d4168139429b703f039c6c093d736485df4442 - Arduino - Rooty - Git Service

rooty/Arduino

mirror of https://github.com/arduino/Arduino.git synced 2025-03-05 02:29:55 +01:00

History

Federico Fissore d0bd09c8d3 Saving caret position when using external editor, attempting to restore it on window activation. Fixes #4155

2015-11-17 17:27:34 +01:00

..

Library and Boards Managers were using old copies of library/boards indeces. thus making the UI show old data. Fixes #4139 #3904 #3795

2015-11-17 12:24:28 +01:00

Saving caret position when using external editor, attempting to restore it on window activation. Fixes #4155

2015-11-17 17:27:34 +01:00