 Rebeka DekanyandCopybot
|
abb59e4603
|
Merge pull request #20298 from overleaf/rd-ide-filetree
[web] Migrate the file tree on the editor page to Bootstrap 5
GitOrigin-RevId: e2efec26242c8cdab37a54bc182b83bfb0f1eb3c
|
2024-09-26 08:05:43 +00:00 |
|
|
Jimmy Domagala-TangandCopybot
|
06ab04f023
|
Merge pull request #16780 from overleaf/jdt-wf-load-notif
Writefull loading and retry notifications
GitOrigin-RevId: ad4701c929970da37abdd96e070b67eac57fb54b
|
2024-02-09 09:04:50 +00:00 |
|
|
Alf EatonandCopybot
|
c597444179
|
Remove unused propTypes (#15578)
GitOrigin-RevId: d45d155277a7fc4fbd137f8c640e4a22b1b82399
|
2023-11-06 09:04:03 +00:00 |
|
|
Jakob AckermannandCopybot
|
83cf21d8cf
|
Merge pull request #15271 from overleaf/jpa-lazy-loading
[web] lazy load big optional UI elements
GitOrigin-RevId: 18d723c66834be3984b74c3c89cfb46e2fffbfc1
|
2023-10-18 08:04:05 +00:00 |
|