[This commit](https://github.com/OurJSEditor/OurJSEditor/commit/9adb97aaa5ee1d72bbb76d06ba4cb99a1a40e958/) hasn't been copied over to this repo yet, which needs to be done. There might also be other places where this repo is behind.