Fix broken file name tabs in mobile#3159

raclim merged 1 commit intoprocessing:developprocessing/p5.js-web-editor:developfrom

shujuuu:fix-mobile-tabs-broken-layoutshujuuu/p5.js-web-editor:fix-mobile-tabs-broken-layoutCopy head branch name to clipboard