| 12345678910111213141516171819202122232425262728293031323334353637 |
- import { Emitter } from 'strict-event-emitter'
- import { Project } from '../../../../types/project'
- import { PermissionsLevel } from '@/features/ide-react/types/permissions-level'
- import { ShareJsDoc } from '@/features/ide-react/editor/share-js-doc'
- import { GotoLineOptions } from '@/features/ide-react/types/goto-line-options'
- import { CursorPosition } from '@/features/ide-react/types/cursor-position'
- 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 }]
- 'doc:opened': []
- 'ide:opAcknowledged': [{ doc_id: string; op: any }]
- 'store-doc-position': []
- 'editor:gotoOffset': [gotoOffset: number]
- 'editor:gotoLine': [options: GotoLineOptions]
- 'cursor:editor:update': [position: CursorPosition]
- 'outline-toggled': [isOpen: boolean]
- 'cursor:editor:syncToPdf': []
- 'scroll:editor:update': []
- 'comment:start_adding': []
- 'references:should-reindex': []
- 'entity:deleted': [entity: FileTreeFindResult]
- }
- export type IdeEventEmitter = Emitter<IdeEvents>
- export function createIdeEventEmitter(): IdeEventEmitter {
- return new Emitter<IdeEvents>()
- }
|