This PR contains various Playground-related fixes for the code editor, including upgrading to the latest codemirror-infusion library and adding JSON5 support to the visual ("live") Playground.
Also upgraded other third party libraries and a bit of spring cleaning.
This PR contains various Playground-related fixes for the code editor, including upgrading to the latest codemirror-infusion library and adding JSON5 support to the visual ("live") Playground.
Also upgraded other third party libraries and a bit of spring cleaning.