Alf Eaton 8cb76ce40b [ide-react] Address some migration TODOs (#16033) ... * Add type for externalUpdate * Log clientTracking.getConnectedUsers error * Remove update debugging code * Use ErrorMetadata type * Use Message type * Remove unused document:opened event GitOrigin-RevId: 3a1d1e785dca37d6b91cd650fbcb4e5decb6343b		2023-12-06 09:04:18 +00:00
..
types	[ide-react] Address some migration TODOs (#16033)	2023-12-06 09:04:18 +00:00
api.ts	Merge pull request #14379 from overleaf/jdt-history-onboarding	2023-08-30 08:05:21 +00:00