diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2021-10-25 11:37:04 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2021-10-31 19:26:11 +0100 |
| commit | 8f97866dfb5303eca7e7344db8e377a60a481d1f (patch) | |
| tree | 9e655f090c36cc2dc456bd2c6a0b6f9c44894076 /language-web/src/main/js/editor/xtextMessages.ts | |
| parent | feat(web): add xtext websocket client (diff) | |
| download | refinery-8f97866dfb5303eca7e7344db8e377a60a481d1f.tar.gz refinery-8f97866dfb5303eca7e7344db8e377a60a481d1f.tar.zst refinery-8f97866dfb5303eca7e7344db8e377a60a481d1f.zip | |
feat(web): application-level pings
Diffstat (limited to 'language-web/src/main/js/editor/xtextMessages.ts')
0 files changed, 0 insertions, 0 deletions