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