fix out-of-date values in console#4115

joshuahhh wants to merge 1 commit into

processing:developprocessing/p5.js-web-editor:developfrom

joshuahhh:sync-console-hookjoshuahhh/p5.js-web-editor:sync-console-hookCopy head branch name to clipboard