| .. |
|
components
|
12326b420d
Use sliced MaterialSymbolsRounded font (#16994)
|
2 lat temu |
|
context
|
e46decbbcf
Fix last edit date for labels in history panel (#16113)
|
2 lat temu |
|
controllers
|
0e52c245ce
Merge pull request #15269 from overleaf/jpa-delete-dead-history-code
|
3 lat temu |
|
extensions
|
ed57b5a479
Use EditorView.theme for the history diff viewer styles (#17156)
|
2 lat temu |
|
hooks
|
e46decbbcf
Fix last edit date for labels in history panel (#16113)
|
2 lat temu |
|
services
|
8cb76ce40b
[ide-react] Address some migration TODOs (#16033)
|
2 lat temu |
|
utils
|
e46decbbcf
Fix last edit date for labels in history panel (#16113)
|
2 lat temu |
Alf Eaton
ed57b5a479
Use EditorView.theme for the history diff viewer styles (#17156)