| Commit message (Collapse) | Author | Age |
| |
|
|
|
|
|
| |
Also makes model seeds cancellable to reduce server load during semantic
analysis.
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Make sure we obey the REUSE (https://reuse.software) specification and the
origin, copyright owner, and license of all files are clearly marked.
The whole project is under the EPL-2.0, except for trivial files where copyright
is not applicable that are marked with the CC0-1.0 license. Moreover, code
included from third parties is also available under the respective license.
chore: add CONTRIBUTORS.md
List all authors and supporting organizations in accordance with the REUSE
specification.
|
|
|
|
|
| |
Improve time to a usable editor by loading the xtext client lazily.
The already existing delay to connect masks the delay of loading.
|
| |
|
|
|
|
|
|
|
| |
Also bumps some dependencies and updates tsconfig.json
The added workarounds should be remove once
https://github.com/mobxjs/mobx/issues/3582 is resolved.
|
| |
|
|
|
|
|
|
|
|
| |
Use a HMR acceptor as in
https://github.com/vitejs/vite/issues/10227#issuecomment-1256969751
Also updates frontend tooling to the latest version
(yarn now support typescript 4.8.4)
|
| |
|
| |
|
|
|
|
|
|
|
|
| |
Integrate better with the page lifecycle state machine, see
https://developer.chrome.com/blog/page-lifecycle-api/
Also makes disconnected notifications less noisy, since they may occur
more frequently now (due to a frozen page being resumed).
|
| |
|
| |
|
|
|
|
|
| |
Gutters are aria-hidden, so no accessibility attributes should point at
them.
|
|
|
|
| |
Also improves editor styling (to enable panel styling).
|
|
|
|
| |
Also bumps frontend dependencies.
|
|
|
|
| |
Also overhaulds the building and linting for frontend assets.
|
| |
|
|
This allows us to simplify the webpack configuration and the gradle
build scripts.
|