| .. |
|
all-packages
|
ee6f0c260e
Create setting editor extension.
|
8 years ago |
|
application
|
f96e95099a
Clean up.
|
8 years ago |
|
application-extension
|
d762514693
Remove settings from application.
|
8 years ago |
|
apputils
|
780a9f919f
Move instance tracker to app utils, fix import paths.
|
8 years ago |
|
apputils-extension
|
b412dbb596
Fix how changes in settings propagate through the editor.
|
8 years ago |
|
cells
|
3d7dd917a2
Publish
|
8 years ago |
|
chatbox
|
3d7dd917a2
Publish
|
8 years ago |
|
chatbox-extension
|
3d7dd917a2
Publish
|
8 years ago |
|
codeeditor
|
8dc2a8b325
Update setting editor styling.
|
8 years ago |
|
codemirror
|
3d7dd917a2
Publish
|
8 years ago |
|
codemirror-extension
|
6799930d7d
Clean up plugins using settings.
|
8 years ago |
|
completer
|
3d7dd917a2
Publish
|
8 years ago |
|
completer-extension
|
3d7dd917a2
Publish
|
8 years ago |
|
console
|
780a9f919f
Move instance tracker to app utils, fix import paths.
|
8 years ago |
|
console-extension
|
09d5f28d0b
Handle dirty state for plugin editor.
|
8 years ago |
|
coreutils
|
5a934c6d09
Hook up saving of settings in the editor.
|
8 years ago |
|
csvviewer
|
3d7dd917a2
Publish
|
8 years ago |
|
csvviewer-extension
|
780a9f919f
Move instance tracker to app utils, fix import paths.
|
8 years ago |
|
docmanager
|
3d7dd917a2
Publish
|
8 years ago |
|
docmanager-extension
|
ee6f0c260e
Create setting editor extension.
|
8 years ago |
|
docregistry
|
3d7dd917a2
Publish
|
8 years ago |
|
docregistry-extension
|
3d7dd917a2
Publish
|
8 years ago |
|
faq-extension
|
780a9f919f
Move instance tracker to app utils, fix import paths.
|
8 years ago |
|
filebrowser
|
780a9f919f
Move instance tracker to app utils, fix import paths.
|
8 years ago |
|
filebrowser-extension
|
780a9f919f
Move instance tracker to app utils, fix import paths.
|
8 years ago |
|
fileeditor
|
780a9f919f
Move instance tracker to app utils, fix import paths.
|
8 years ago |
|
fileeditor-extension
|
6799930d7d
Clean up plugins using settings.
|
8 years ago |
|
help-extension
|
ee6f0c260e
Create setting editor extension.
|
8 years ago |
|
imageviewer
|
780a9f919f
Move instance tracker to app utils, fix import paths.
|
8 years ago |
|
imageviewer-extension
|
780a9f919f
Move instance tracker to app utils, fix import paths.
|
8 years ago |
|
inspector
|
3d7dd917a2
Publish
|
8 years ago |
|
inspector-extension
|
780a9f919f
Move instance tracker to app utils, fix import paths.
|
8 years ago |
|
landing-extension
|
780a9f919f
Move instance tracker to app utils, fix import paths.
|
8 years ago |
|
launcher
|
3d7dd917a2
Publish
|
8 years ago |
|
launcher-extension
|
3d7dd917a2
Publish
|
8 years ago |
|
markdownviewer
|
3d7dd917a2
Publish
|
8 years ago |
|
markdownviewer-extension
|
780a9f919f
Move instance tracker to app utils, fix import paths.
|
8 years ago |
|
notebook
|
440bf03bb8
Minor JSON editor cleanup.
|
8 years ago |
|
notebook-extension
|
d854e1f51b
Fix merge conflict.
|
8 years ago |
|
outputarea
|
3d7dd917a2
Publish
|
8 years ago |
|
rendermime
|
3d7dd917a2
Publish
|
8 years ago |
|
rendermime-extension
|
3d7dd917a2
Publish
|
8 years ago |
|
running
|
3d7dd917a2
Publish
|
8 years ago |
|
running-extension
|
3d7dd917a2
Publish
|
8 years ago |
|
services
|
3d7dd917a2
Publish
|
8 years ago |
|
services-extension
|
3d7dd917a2
Publish
|
8 years ago |
|
settingeditor-extension
|
b412dbb596
Fix how changes in settings propagate through the editor.
|
8 years ago |
|
shortcuts-extension
|
18c26cfaf3
Correct list order (alphabetize by command ID), add shortcut for setting editor command.
|
8 years ago |
|
tabmanager-extension
|
3d7dd917a2
Publish
|
8 years ago |
|
terminal
|
780a9f919f
Move instance tracker to app utils, fix import paths.
|
8 years ago |
|
terminal-extension
|
780a9f919f
Move instance tracker to app utils, fix import paths.
|
8 years ago |
|
theme-dark-extension
|
3d7dd917a2
Publish
|
8 years ago |
|
theme-light-extension
|
3d7dd917a2
Publish
|
8 years ago |
|
theming
|
3a027887ca
Update setting editor styling.
|
8 years ago |
|
tooltip
|
3d7dd917a2
Publish
|
8 years ago |
|
tooltip-extension
|
3d7dd917a2
Publish
|
8 years ago |
Afshin Darian
b412dbb596
Fix how changes in settings propagate through the editor.