Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | feat(frontend): scroll beyond last line in editor | 2022-12-09 | |
| | | | | Mimics the polular behavior from Codium. | ||
* | refactor(frontend): simplify diagnostic tracking | 2022-12-09 | |
| | |||
* | 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. | ||
* | feat(frontend): scrollbar annotations | 2022-11-05 | |
| | |||
* | feat(frontend): overlay scrollbars for editor | 2022-11-05 | |