Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | fix(web): editor cursor styling | 2023-04-26 | |
| | | | | | Temporarily remove custom scrollbar and indentation styling, because they interferred with cursor visibility. | ||
* | chore: add copyright headers | 2023-04-15 | |
| | | | | | | | | | | | | | | 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. | ||
* | refactor(frontend): scrollbar improvements | 2022-12-09 | |
| | |||
* | feat(frontend): scroll beyond last line in editor | 2022-12-09 | |
| | | | | Mimics the polular behavior from Codium. | ||
* | fix(frontend): mobx 6.7.0 typing | 2022-11-22 | |
| | | | | | | | Also bumps some dependencies and updates tsconfig.json The added workarounds should be remove once https://github.com/mobxjs/mobx/issues/3582 is resolved. | ||
* | refactor(frontend): editor theme improvements | 2022-11-05 | |