[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
This commit is contained in:
Alf Eaton
2023-12-06 09:04:18 +00:00
committed by Copybot
parent 2f45c8b90a
commit 8cb76ce40b
7 changed files with 41 additions and 43 deletions
@@ -8,10 +8,6 @@ import { FileTreeFindResult } from '@/features/ide-react/types/file-tree'
export type IdeEvents = {
'project:joined': [{ project: Project; permissionsLevel: PermissionsLevel }]
// TODO: MIGRATION: This doesn't seem to be used. Investigate whether it can be removed
'document:opened': [doc: ShareJsDoc]
'document:closed': [doc: ShareJsDoc]
'doc:changed': [{ doc_id: string }]
'doc:saved': [{ doc_id: string }]
@@ -27,7 +23,6 @@ export type IdeEvents = {
'comment:start_adding': []
'references:should-reindex': []
'history:toggle': []
'entity:deleted': [entity: FileTreeFindResult]
}