documents now remain open fixes #16

This commit is contained in:
Jonas Winkler
2020-11-04 01:42:23 +01:00
parent a2fd1afa80
commit 7b561af7a1
3 changed files with 26 additions and 7 deletions

View File

@@ -0,0 +1,3 @@
export const OPEN_DOCUMENT_SERVICE = {
DOCUMENTS: 'open-documents-service:openDocuments'
}