cleanup of IDEView#1

Open

lindapaiste wants to merge 9 commits intolindapaiste:dewanshmobile/idefrom

dewanshDT:dewanshmobile/ide

Commits on Sep 2, 2023

Merge branch 'develop' of https://github.com/processing/p5.js-web-editor into dewanshmobile/FAB
dewanshDT
committed

Commits on Sep 3, 2023