 Alf Eaton
|
66c55b0647
Streamline the project references context provider (#19387)
|
преди 2 години |
|
Alf Eaton
|
2d2746ef24
Streamline the project metadata context provider (#19384)
|
преди 2 години |
 Jakob Ackermann
|
aa480a2663
Merge pull request #18898 from overleaf/jpa-no-window
|
преди 2 години |
|
Alf Eaton
|
c24ace801b
Remove Angular (#17534)
|
преди 2 години |
|
Alf Eaton
|
55da43a6ce
Ensure that ol_extensions_writefull Sentry tag is defined (#17366)
|
преди 2 години |
|
Alf Eaton
|
3e11ee6e5a
Ensure that the editor state is preserved when switching views (#17238)
|
преди 2 години |
|
Alf Eaton
|
00d043cc72
Ensure that the selection layer updates when the review panel is toggled (#17021)
|
преди 2 години |
|
Alf Eaton
|
7b3ffb9fae
Standardise types for `ranges` (#16927)
|
преди 2 години |
|
Alf Eaton
|
cac1ab1259
Add tags to Sentry error reports (#16465)
|
преди 2 години |
|
Alf Eaton
|
4a7a24b44d
Update the CodeMirror language when the current file is renamed (#16342)
|
преди 2 години |
 ilkin-overleaf
|
ffb24e061e
Merge pull request #16139 from overleaf/ii-ide-page-prototype-review-panel-line-height
|
преди 2 години |
|
Alf Eaton
|
18ad44c278
Use permissions.write for editor editable state (#16011)
|
преди 2 години |
|
Alf Eaton
|
d40de2018c
Remove Angular/Pug review panel code (#15935)
|
преди 2 години |
 Tim Down
|
38efea39f2
Merge pull request #15707 from overleaf/td-user-settings-context
|
преди 2 години |
|
Tim Down
|
13f246a85e
Merge pull request #15342 from overleaf/td-remove-file-tree-manager-in-react
|
преди 3 години |
|
Tim Down
|
01439641ca
Merge pull request #15376 from overleaf/td-ide-page-working-editor
|
преди 3 години |
|
ilkin-overleaf
|
15db0ce4e3
Merge pull request #13492 from overleaf/td-review-panel-sync-height
|
преди 3 години |
|
Alf Eaton
|
009a108c71
Wrap setCursorHighlights in setTimeout (#12951)
|
преди 3 години |
|
Alf Eaton
|
39df55787c
Improve handling of doc:saved events (#12522)
|
преди 3 години |
|
Tim Down
|
7f37ba737c
Move source editor out of module (#12457)
|
преди 3 години |
