 Afshin Darian
|
a9f3310369
Update notebook/notebook/nbformat.
|
hace 8 años |
|
Afshin Darian
|
a9f44caa83
Switch to new pattern for extending services when creating plugin tokens + plugin interfaces.
|
hace 8 años |
|
Afshin Darian
|
efa274c3e0
Modernize notebook toolbar.
|
hace 8 años |
|
Afshin Darian
|
eb2af31c37
Modernize src/codemirror.
|
hace 8 años |
|
Afshin Darian
|
095d5b1440
Modernize ActivityMonitor.
|
hace 8 años |
|
Afshin Darian
|
567d711067
Switch uses of ListChangeType from enum to union type.
|
hace 8 años |
|
Afshin Darian
|
134d7099d8
Port ObservableList to new phosphor data structures and utilities.
|
hace 8 años |
|
Afshin Darian
|
9892017bc9
Enable clipboard plugin.
|
hace 8 años |
|
Afshin Darian
|
c1d67fe8f3
Modernize clipboard plugin.
|
hace 8 años |
|
Afshin Darian
|
b0db279e59
Add about plugin, export palette.
|
hace 8 años |
|
Afshin Darian
|
60459afbe5
Modernize about extension.
|
hace 8 años |
|
Afshin Darian
|
8e058bfc22
Activate command palette extension.
|
hace 8 años |
|
Afshin Darian
|
251bd04e47
First pass at command palette extension
|
hace 8 años |
|
Afshin Darian
|
f75dc773dc
work in progress, shell CSS needs work
|
hace 8 años |
|
Afshin Darian
|
fcfef608bf
Some rendering bugfixes...
|
hace 8 años |
|
Afshin Darian
|
09e28501e8
Get file browser to render. (broken CSS)
|
hace 8 años |
|
Afshin Darian
|
f205f169cf
work in progress: partial port of file browser menus
|
hace 8 años |
|
Afshin Darian
|
4da1cb1ead
Enable file browser extension.
|
hace 8 años |
|
Afshin Darian
|
ce001fa633
Add accesors for command registry and key map manager.
|
hace 8 años |
|
Afshin Darian
|
1a2b8c409a
Bugfixes to get minimal build of file browser plugin working.
|
hace 8 años |
|
Afshin Darian
|
9411831218
Modernize widget tracker.
|
hace 8 años |
|
Afshin Darian
|
4a8dc03384
Cleaning up file browser.
|
hace 8 años |
|
Afshin Darian
|
01ba8be7d8
Modernize file browser model.
|
hace 8 años |
|
Afshin Darian
|
a2e71c89b8
Remove phosphor-arrays from filebrowser/listing
|
hace 8 años |
|
Afshin Darian
|
88e1f309b5
addChild => addWidget
|
hace 8 años |
|
Afshin Darian
|
b6731acf66
work in progress - modernizing file browser plugin
|
hace 8 años |
|
Afshin Darian
|
c2df405249
Modernize file browser utils.
|
hace 8 años |
|
Afshin Darian
|
2d059366f6
Modernize file listing.
|
hace 8 años |
|
Afshin Darian
|
11741ea599
Modernize bread crumbs.
|
hace 8 años |
|
Afshin Darian
|
2d309d6126
Modernize file buttons.
|
hace 8 años |
