| 123456789101112131415161718192021222324252627282930313233 |
- import { Emitter } from 'strict-event-emitter'
- import { Project } from '../../../../types/project'
- import { PermissionsLevel } from '@/features/ide-react/types/permissions'
- 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 }]
- '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': []
- 'history:toggle': []
- 'entity:deleted': [entity: FileTreeFindResult]
- }
- export type IdeEventEmitter = Emitter<IdeEvents>
- export function createIdeEventEmitter(): IdeEventEmitter {
- return new Emitter<IdeEvents>()
- }
|