| Commit message (Collapse) | Author | Age |
| |
|
|
|
|
|
| |
Temporarily remove custom scrollbar and indentation styling, because they
interferred with cursor visibility.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
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.
|
| |
|
| |
|
| |
|
|
|
|
|
| |
Make sure the CodeMirror DOM is fully ready before inserting a spacer
element for overscroll behavior.
|
| |
|
|
|
|
|
| |
Also introduces tsconfig.shared.json to keep track of source files used
both and build time and in the browser.
|
|
|
|
|
| |
Improve time to a usable editor by loading the xtext client lazily.
The already existing delay to connect masks the delay of loading.
|
| |
|
| |
|
|
|
|
| |
Thanks @marci543
|
| |
|
| |
|
|
|
|
| |
Mimics the polular behavior from Codium.
|
| |
|
|
|
|
|
|
|
| |
Also bumps some dependencies and updates tsconfig.json
The added workarounds should be remove once
https://github.com/mobxjs/mobx/issues/3582 is resolved.
|
| |
|
| |
|
| |
|
|
|
|
|
|
|
|
| |
To point the frontend to a backend server, update the config.json
file in the website root.
The config.json is generated automatically in debug mode and when
running from a standalone jar.
|
| |
|
| |
|
| |
|
|
|
|
|
|
| |
Restore count != capability.
Still needs semantics and tests for count atoms over partial models.
|
| |
|
|
|
|
|
|
|
|
| |
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)
|
| |
|
|
|
|
| |
Rules have too complex semantics to implement in the first prototype.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
|
|
|
| |
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).
|
|
|
|
| |
Improve toolbar appearance on small screens
|
| |
|
| |
|
| |
|
|
|
|
| |
Use a variable font to reduce the number of files to be deployed
|
|
|
|
|
|
|
| |
Expressing logic in statecharts for complex stateful behaviours should
improve maintainability
We use @xstate/cli to statically analyze statcharts before typechecking
|
| |
|
|
|
|
| |
Lets us track priorities of tasks without cancellation.
|
| |
|
| |
|
|
|
|
| |
Also bumps frontend dependencies
|
| |
|
|
|
|
|
| |
Imporve font rendering on Windows by making the JetBrains Mono font
slightly bolder.
|