Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | chore(deps): bump dependencies | 2023-02-26 | |
| | |||
* | fix(frontend): do not scroll initially | 2022-12-21 | |
| | | | | | Make sure the CodeMirror DOM is fully ready before inserting a spacer element for overscroll behavior. | ||
* | refactor(frontend): scrollbar improvements | 2022-12-09 | |
| | |||
* | fix(frontend): reduce Android rendering errors | 2022-12-09 | |
| | |||
* | 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 | |