2 Commits

Include renames

Author	SHA1	Message	Date
Mathias JakobsenandCopybot	733bc26ed1	Merge pull request #23848 from overleaf/dp-settings ... Add initial components for new editor settings modal GitOrigin-RevId: e3eb511d2af9265e0fc1cf54178b3e2953717950	2025-03-05 09:05:34 +00:00
Mathias JakobsenandCopybot	d34d15242e	Merge pull request #22855 from overleaf/mj-ide-settings ... [web] Add settings modal skeleton to editor redesign GitOrigin-RevId: bc2e7f07f7ab737a67965fa615a04c8ee88b1271	2025-01-21 09:05:23 +00:00