Alf EatonandCopybot ed57b5a479 Use EditorView.theme for the history diff viewer styles (#17156) ...

GitOrigin-RevId: e52519b392395ed740de5932a59fe35321200d5a

2024-02-22 09:04:38 +00:00

..

components

Use sliced MaterialSymbolsRounded font (#16994)

2024-02-16 09:04:36 +00:00

context

Fix last edit date for labels in history panel (#16113)

2023-12-06 09:04:04 +00:00

controllers

Merge pull request #15269 from overleaf/jpa-delete-dead-history-code

2023-10-18 08:04:01 +00:00

extensions

Use EditorView.theme for the history diff viewer styles (#17156)

2024-02-22 09:04:38 +00:00

hooks

Fix last edit date for labels in history panel (#16113)

2023-12-06 09:04:04 +00:00

services

[ide-react] Address some migration TODOs (#16033)

2023-12-06 09:04:18 +00:00

utils

Fix last edit date for labels in history panel (#16113)

2023-12-06 09:04:04 +00:00