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