Domagoj Kriskovic ebb34b40c1 [web] "back to editor" button when history is opened (#18137) ... * [web] "back to editor" button when history is opened * rename to shouldReopenChat * move to separate component * show online users widget * using MaterialIcon * import useState directly * fix formatting GitOrigin-RevId: c37432f16518ef83510c48d90722e74b228b5ab1		2024-05-01 08:04:51 +00:00
..
components	[web] "back to editor" button when history is opened (#18137)	2024-05-01 08:04:51 +00:00
controllers	Merge pull request #15129 from overleaf/mj-jpa-angular-parameters	2023-10-16 08:04:25 +00:00