polarity/web
2025-06-30 11:42:36 +02:00
..
crates/browser Address new clippy lints (#537) 2025-06-30 11:42:36 +02:00
packages/app Bump webpack-dev-server from 4.9.3 to 5.2.1 in /web (#535) 2025-06-06 18:15:07 +01:00
.eslintignore Add initial web editor with LSP support 2022-08-29 17:49:38 +02:00
.eslintrc.yaml Add initial web editor with LSP support 2022-08-29 17:49:38 +02:00
.gitignore Add initial web editor with LSP support 2022-08-29 17:49:38 +02:00
.prettierrc.yaml Add initial web editor with LSP support 2022-08-29 17:49:38 +02:00
.stylelintignore Highlight snippets in tutorial 2023-04-06 22:37:52 +02:00
.stylelintrc.json Add initial web editor with LSP support 2022-08-29 17:49:38 +02:00
Makefile Update wasm-bindgen-cli (#469) 2025-02-12 11:48:28 +01:00
package-lock.json Bump webpack-dev-server from 4.9.3 to 5.2.1 in /web (#535) 2025-06-06 18:15:07 +01:00
package.json Upgrade web demo and tower-lsp (#411) 2024-12-09 14:27:16 +01:00
README.md Fix imports in the web demo (#467) 2025-02-07 14:23:04 +01:00
tsconfig.json Add initial web editor with LSP support 2022-08-29 17:49:38 +02:00

Web Demo

Based on tower-lsp-web-demo, commit d629bf80cab03e8f87dcd5821e1307c204ca6a9e.

Requirements

Build

make deps
make build

Run

To run the web demo, execute the following command:

make run

Then, navigate to http://localhost:9000/editor#example.pol, where example.pol can be any file in the examples directory.

Troubleshooting

If you experience the following error:

FATAL ERROR: Reached heap limit Allocation failed - JavaScript heap out of memory

consider increasing the heap size, e.g. by setting the NODE_OPTIONS environment variable:

export NODE_OPTIONS=--max-old-space-size=4096

License

The content in this folder is based on tower-lsp-web-demo by Darin Morrison. Like the rest of the project, it is licensed under the terms of both the MIT license and the Apache License 2.0. See LICENSE-APACHE and LICENSE-MIT for details.