M Pacer b7309a7e22 pass options through to open and openOrReveal calls in docmanager and docmanager-extension (#3571) vor 7 Jahren
..
dialogs.ts 57d0e9d682 [WIP] Finalize Services (#3294) vor 7 Jahren
index.ts db98d3f760 Add new file manipulation methods to document manager. vor 8 Jahren
manager.ts b7309a7e22 pass options through to open and openOrReveal calls in docmanager and docmanager-extension (#3571) vor 7 Jahren
savehandler.ts b414c5ac32 updates from compiler vor 7 Jahren
widgetmanager.ts 5fd2147ead wip add more options when opening vor 7 Jahren