[IDE] Title of sketch is misaligned on Linux FIX #10209#10210
Merged
cmaglie merged 4 commits intoarduino:masterfrom May 20, 2020 
Merged
[IDE] Title of sketch is misaligned on Linux FIX #10209#10210cmaglie merged 4 commits intoarduino:masterfrom 
cmaglie merged 4 commits intoarduino:masterfrom