Michał Wawrzyniec Urbańczyk 2d39e644b8 New GUI/IDE build script support (#7832) ... This PR adds support for the new Vue-based GUI (aka `gui2`). The user-facing changes are primarily: * support for `./run gui2` and `./run ide2` commands (that build just the new GUI and the whole IDE package with new GUI embedded — respectively); * the top-level `test` and `lint` commands will now invoke the relevant commands on the new GUI --------- Co-authored-by: Paweł Grabarz <frizi09@gmail.com>		2023-10-03 20:07:20 +02:00
..
fileFormat.ts	[GUI2] Module contents editing and synchronization (#7938)	2023-10-02 12:01:03 +00:00
index.ts	[GUI2] Module contents editing and synchronization (#7938)	2023-10-02 12:01:03 +00:00
languageServerSession.ts	New GUI/IDE build script support (#7832)	2023-10-03 20:07:20 +02:00
ydoc.ts	[GUI2] Module contents editing and synchronization (#7938)	2023-10-02 12:01:03 +00:00