Translate and style CodeMirror extensions#215

Merged

winniederidder merged 11 commits intohighlight-consumed-batch-inputfrom translate-codemirror

May 30, 2022

+132-66

Commits on May 30, 2022

Bump @codemirror/lint from 0.20.2 to 0.20.3

dependabot[bot]
authored and
winniederidder
committed
Bump @typescript-eslint/eslint-plugin from 5.25.0 to 5.26.0

dependabot[bot]
authored and
winniederidder
committed
Bump eslint-plugin-jest from 26.2.2 to 26.4.5

dependabot[bot]
authored and
winniederidder
committed
Bump @codemirror/autocomplete from 0.20.1 to 0.20.3

dependabot[bot]
authored and
winniederidder
committed
Bump typescript from 4.6.4 to 4.7.2

dependabot[bot]
authored and
winniederidder
committed
Bump @codemirror/view from 0.20.6 to 0.20.7

dependabot[bot]
authored and
winniederidder
committed
Bump @typescript-eslint/parser from 5.25.0 to 5.26.0

dependabot[bot]
authored and
winniederidder
committed
Allow translating CodeMirror
winniederidder
committed
Create button css class
winniederidder
committed
Style CodeMirror elements
winniederidder
committed
Improve styling
winniederidder
committed