[UI] Switch read only editors to code mirror#4924
Merged
mergify[bot] merged 25 commits intohedyorg:mainfrom jpelay:read-only-editorsJan 2, 2024
+408-350
Commits
Commits on Dec 18, 2023
Commits on Dec 20, 2023
Commits on Dec 21, 2023
- committed
Commits on Dec 22, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 23, 2023
Commits on Dec 27, 2023
- committed
- committed
Commits on Dec 29, 2023
- committed
![mergify[bot]](https://avatars.githubusercontent.com/in/10562?v=4&size=32){kind=avatar}