A. Darian 22b115656f WIP adding palette keyboard shortcuts, adding method to externalize shortcuts vor 9 Jahren
..
application 22b115656f WIP adding palette keyboard shortcuts, adding method to externalize shortcuts vor 9 Jahren
default-theme bab1f55aef Add style for dirty documents vor 9 Jahren
documentmanager dad5f95c5e API updates vor 9 Jahren
filebrowser 43152b1d34 Update filebrowser and cleanup vor 9 Jahren
filehandler 9e571122d1 Use new docmanager vor 9 Jahren
imagehandler 9e571122d1 Use new docmanager vor 9 Jahren
notebook dad5f95c5e API updates vor 9 Jahren
services e2e072f155 Fix handling of baseUrl vor 9 Jahren
terminal dad5f95c5e API updates vor 9 Jahren
index.ts 22b115656f WIP adding palette keyboard shortcuts, adding method to externalize shortcuts vor 9 Jahren
shortcuts.ts 22b115656f WIP adding palette keyboard shortcuts, adding method to externalize shortcuts vor 9 Jahren
tsconfig.json 14ca619501 Rename fileopener -> documentmanager vor 9 Jahren