Feature: global search, keyboard shortcuts / hotkey support (#6449)

This commit is contained in:
shamoon authored and GitHub committed 2024-05-02 16:15:56 +00:00
1 parent 40289cd714
commit c6e7d06bb7
51 files changed
+2970 -683

No files matched your search

@@ -90,6 +90,10 @@ export class OpenDocumentsService {
return this.dirtyDocuments.size > 0
}
isDirty(doc: Document): boolean {
return this.dirtyDocuments.has(doc.id)
}
closeDocument(doc: Document): Observable<boolean> {
let index = this.openDocuments.findIndex((d) => d.id == doc.id)
if (index == -1) return of(true)