Enabling "external editor" now requires to save all sketches.#6223
Merged
cmaglie merged 2 commits intoarduino:masterfrom May 16, 2017
Merged
Enabling "external editor" now requires to save all sketches.#6223cmaglie merged 2 commits intoarduino:masterfrom
cmaglie merged 2 commits intoarduino:masterfrom