| .. |
|
about
|
97f6389c2d
Merge pull request #886 from spoorthyv/newLogo
|
vor 8 Jahren |
|
application
|
126ffa3c4b
Merge pull request #1117 from blink1073/avoid-deactivate-request
|
vor 8 Jahren |
|
basestyle
|
b490438301
Move all files .less -> .css
|
vor 8 Jahren |
|
clipboard
|
5385f1089b
Refactor clipboard plugin to have token and interface defined in implementation instead of in plugin.
|
vor 8 Jahren |
|
codemirror
|
27da0d15c0
Clean up handling of code mimetype
|
vor 8 Jahren |
|
commandpalette
|
986721d749
issue 1003: fix Search placeholder text
|
vor 8 Jahren |
|
common
|
aeb267dae7
Use arrays instead of sequences
|
vor 8 Jahren |
|
completer
|
74b07e7d78
Update for the new services api
|
vor 8 Jahren |
|
console
|
d80b16ba0a
Refactor console content constructor.
|
vor 8 Jahren |
|
csvwidget
|
1f7ab02bb1
Update api to allow overrides
|
vor 8 Jahren |
|
default-theme
|
bbb4ef7882
Clean up CSS classes
|
vor 8 Jahren |
|
dialog
|
8a3bb3a5e6
Reorder public vs protected + add docstring
|
vor 8 Jahren |
|
docmanager
|
db21fbb092
Merge pull request #1122 from blink1073/services-24
|
vor 8 Jahren |
|
docregistry
|
db21fbb092
Merge pull request #1122 from blink1073/services-24
|
vor 8 Jahren |
|
editorwidget
|
1f7ab02bb1
Update api to allow overrides
|
vor 8 Jahren |
|
faq
|
4b9e89c242
Convert readthedocs links for their .org -> .io migration for hosted projects
|
vor 8 Jahren |
|
filebrowser
|
db21fbb092
Merge pull request #1122 from blink1073/services-24
|
vor 8 Jahren |
|
help
|
bb2dfd9cf3
Update imports for the new services
|
vor 8 Jahren |
|
iframe
|
b490438301
Move all files .less -> .css
|
vor 8 Jahren |
|
imagewidget
|
1f7ab02bb1
Update api to allow overrides
|
vor 8 Jahren |
|
inspector
|
74b07e7d78
Update for the new services api
|
vor 8 Jahren |
|
landing
|
3ee663606d
Merge pull request #1142 from charnpreetsingh185/align
|
vor 8 Jahren |
|
launcher
|
3ee663606d
Merge pull request #1142 from charnpreetsingh185/align
|
vor 8 Jahren |
|
main
|
769c99fcf4
Dock Panel --> Main Area rename
|
vor 8 Jahren |
|
mainmenu
|
063d0615d5
Remove a menu from the main menu when it is disposed
|
vor 8 Jahren |
|
markdownwidget
|
f95233469d
Update the markdown widget factory api
|
vor 8 Jahren |
|
notebook
|
27da0d15c0
Clean up handling of code mimetype
|
vor 8 Jahren |
|
renderers
|
a004815497
Final styling done!
|
vor 8 Jahren |
|
rendermime
|
123a943179
Allow JSONObject throughout
|
vor 8 Jahren |
|
running
|
74b07e7d78
Update for the new services api
|
vor 8 Jahren |
|
sanitizer
|
f639520c7e
Minor formatting.
|
vor 8 Jahren |
|
services
|
74b07e7d78
Update for the new services api
|
vor 8 Jahren |
|
shortcuts
|
c90c6866f6
Rename execute->run
|
vor 8 Jahren |
|
terminal
|
74b07e7d78
Update for the new services api
|
vor 8 Jahren |
|
toolbar
|
74b07e7d78
Update for the new services api
|
vor 8 Jahren |
|
tsconfig.json
|
798d09f5b9
Separate out the typedoc-specific typings.
|
vor 8 Jahren |
|
typedoc.d.ts
|
798d09f5b9
Separate out the typedoc-specific typings.
|
vor 8 Jahren |
|
typings.d.ts
|
798d09f5b9
Separate out the typedoc-specific typings.
|
vor 8 Jahren |
|
utils.ts
|
59d08ea481
Modernize utils.
|
vor 8 Jahren |
Afshin Darian
d80b16ba0a
Refactor console content constructor.