| .. |
|
about
|
97f6389c2d
Merge pull request #886 from spoorthyv/newLogo
|
преди 8 години |
|
application
|
aa0f130e81
Removing unused zindex.
|
преди 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
|
00a72818e4
Update source for services 0.20
|
преди 8 години |
|
commandpalette
|
986721d749
issue 1003: fix Search placeholder text
|
преди 8 години |
|
common
|
24a98e7712
Remove unnecessary methods, update formatting.
|
преди 8 години |
|
completer
|
2ef0461c7c
Add a guard for the completer handler
|
преди 8 години |
|
console
|
ac3d73cc78
Use a dialog to start a console
|
преди 8 години |
|
csvwidget
|
15e5927adb
Merge pull request #1012 from SylvainCorlay/variables
|
преди 8 години |
|
default-theme
|
7eb38c9f18
Add more css variable from MD for jupyter-js-widgets styling
|
преди 8 години |
|
dialog
|
688e4b59e4
Getting rid of camel case css variables.
|
преди 8 години |
|
docmanager
|
03f4020ed0
Bugfix: make sure a new file created in a subdirectory does not accidentally get re-saved into the root directory.
|
преди 8 години |
|
docregistry
|
00a72818e4
Update source for services 0.20
|
преди 8 години |
|
editorwidget
|
00a72818e4
Update source for services 0.20
|
преди 8 години |
|
faq
|
b490438301
Move all files .less -> .css
|
преди 8 години |
|
filebrowser
|
637b5a61de
Fix file deletion
|
преди 8 години |
|
help
|
b35cff6bb0
Merge pull request #802 from ellisonbg/more-css-refactor
|
преди 8 години |
|
iframe
|
b490438301
Move all files .less -> .css
|
преди 8 години |
|
imagewidget
|
00a72818e4
Update source for services 0.20
|
преди 8 години |
|
inspector
|
4e80cfecc0
Simplify toolbar creation since re-renders are no longer necessary as orientation changing has been removed.
|
преди 8 години |
|
landing
|
631ada5d7b
issue-490
|
преди 8 години |
|
main
|
769c99fcf4
Dock Panel --> Main Area rename
|
преди 8 години |
|
mainmenu
|
063d0615d5
Remove a menu from the main menu when it is disposed
|
преди 8 години |
|
markdownwidget
|
00a72818e4
Update source for services 0.20
|
преди 8 години |
|
notebook
|
00a72818e4
Update source for services 0.20
|
преди 8 години |
|
renderers
|
a004815497
Final styling done!
|
преди 8 години |
|
rendermime
|
c11a54c3f0
Simplify options unpacking
|
преди 8 години |
|
running
|
15e5927adb
Merge pull request #1012 from SylvainCorlay/variables
|
преди 8 години |
|
sanitizer
|
f639520c7e
Minor formatting.
|
преди 8 години |
|
services
|
e1ea7973ac
Refactor services plugin to have token and interface defined in implementation instead of in plugin.
|
преди 8 години |
|
shortcuts
|
c90c6866f6
Rename execute->run
|
преди 8 години |
|
terminal
|
00a72818e4
Update source for services 0.20
|
преди 8 години |
|
toolbar
|
00a72818e4
Update source for services 0.20
|
преди 8 години |
|
tsconfig.json
|
ec0a52b65d
Coverage of TS sources
|
преди 8 години |
|
typings.d.ts
|
00a72818e4
Update source for services 0.20
|
преди 8 години |
|
utils.ts
|
59d08ea481
Modernize utils.
|
преди 8 години |
Steven Silvester
637b5a61de
Fix file deletion