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