Remove last editor window after saving its properties#8349
Merged
facchinm merged 1 commit intoarduino:masterfrom Jan 2, 2019
Merged
Remove last editor window after saving its properties#8349facchinm merged 1 commit intoarduino:masterfrom
facchinm merged 1 commit intoarduino:masterfrom