| .. |
|
about-extension
|
19968ff196
Rename VDomWidget -> VDomRenderer
|
8 years ago |
|
all-packages
|
94a91f52f9
Build api docs to docs/api
|
8 years ago |
|
application
|
cc41caf033
Publish
|
8 years ago |
|
application-extension
|
cc41caf033
Publish
|
8 years ago |
|
apputils
|
97011afb39
Merge master
|
8 years ago |
|
apputils-extension
|
cc41caf033
Publish
|
8 years ago |
|
cells
|
cc41caf033
Publish
|
8 years ago |
|
codeeditor
|
cc41caf033
Publish
|
8 years ago |
|
codemirror
|
00403e1ad5
Include codemirror's c-like language syntax highlighting.
|
8 years ago |
|
codemirror-extension
|
03ebbd6d09
Rename editorwidget -> fileeditor.
|
8 years ago |
|
completer
|
bfc3967927
Rename CompleterWidget -> Completer.
|
8 years ago |
|
completer-extension
|
bfc3967927
Rename CompleterWidget -> Completer.
|
8 years ago |
|
console
|
c72dccb6b2
Add %clear to console.
|
8 years ago |
|
console-extension
|
cc41caf033
Publish
|
8 years ago |
|
coreutils
|
ed525ab861
Fix handling of escaped strings
|
8 years ago |
|
csvviewer
|
19968ff196
Rename VDomWidget -> VDomRenderer
|
8 years ago |
|
csvviewer-extension
|
af30caddae
Rename csvwidget -> csvviewer.
|
8 years ago |
|
csvwidget
|
bd4c9bf4e2
Clean up csv viewer toolbar
|
8 years ago |
|
csvwidget-extension
|
af30caddae
Rename csvwidget -> csvviewer.
|
8 years ago |
|
default-theme
|
af30caddae
Rename csvwidget -> csvviewer.
|
8 years ago |
|
docmanager
|
cc41caf033
Publish
|
8 years ago |
|
docmanager-extension
|
cc41caf033
Publish
|
8 years ago |
|
docregistry
|
cc41caf033
Publish
|
8 years ago |
|
docregistry-extension
|
cc41caf033
Publish
|
8 years ago |
|
faq-extension
|
19968ff196
Rename VDomWidget -> VDomRenderer
|
8 years ago |
|
filebrowser
|
b845d9eae8
Disable rename-on-Enter for Mac users
|
8 years ago |
|
filebrowser-extension
|
cc41caf033
Publish
|
8 years ago |
|
fileeditor
|
d1d3900c83
Moving editorwidget to fileeditor.
|
8 years ago |
|
fileeditor-extension
|
233813ebec
add new line if cursor is at the end of file
|
8 years ago |
|
help-extension
|
2cf3ee46e1
Merge pull request #2177 from blink1073/pr/2166
|
8 years ago |
|
imageviewer
|
b9ba94d8ba
Rename imagewidget -> imageviewer.
|
8 years ago |
|
imageviewer-extension
|
b9ba94d8ba
Rename imagewidget -> imageviewer.
|
8 years ago |
|
imagewidget
|
b9ba94d8ba
Rename imagewidget -> imageviewer.
|
8 years ago |
|
imagewidget-extension
|
b9ba94d8ba
Rename imagewidget -> imageviewer.
|
8 years ago |
|
inspector
|
edb578333c
Rename InspectorItemWidget -> InspectorItem.
|
8 years ago |
|
inspector-extension
|
cc41caf033
Publish
|
8 years ago |
|
landing-extension
|
4b8cd1fcae
Styled landing launcher with final design, fixed bugs with scrolling and refined card shadow
|
8 years ago |
|
launcher
|
19968ff196
Rename VDomWidget -> VDomRenderer
|
8 years ago |
|
launcher-extension
|
cc41caf033
Publish
|
8 years ago |
|
markdownviewer
|
144c83beb4
Rename markdownwidget -> markdownviewer.
|
8 years ago |
|
markdownviewer-extension
|
144c83beb4
Rename markdownwidget -> markdownviewer.
|
8 years ago |
|
markdownwidget-extension
|
144c83beb4
Rename markdownwidget -> markdownviewer.
|
8 years ago |
|
notebook
|
d52cca155b
Kernel name toolbar button: Spacer widget does not need session
|
8 years ago |
|
notebook-extension
|
a67c1df6eb
Merge pull request #2203 from Korinek/add-export-as
|
8 years ago |
|
outputarea
|
cc41caf033
Publish
|
8 years ago |
|
rendermime
|
5e2695fc5c
Clean up of tooltips and rendered text
|
8 years ago |
|
rendermime-extension
|
cc41caf033
Publish
|
8 years ago |
|
running
|
cc41caf033
Publish
|
8 years ago |
|
running-extension
|
cc41caf033
Publish
|
8 years ago |
|
services
|
effc437d66
Remove extraneous typedoc depedendencies
|
8 years ago |
|
services-extension
|
cc41caf033
Publish
|
8 years ago |
|
shortcuts-extension
|
b933fc8c80
Rename EditorWidget -> FileEditor.
|
8 years ago |
|
tabmanager-extension
|
cc41caf033
Publish
|
8 years ago |
|
terminal
|
e53b31c1fb
Rename TerminalWidget -> Terminal.
|
8 years ago |
|
terminal-extension
|
e53b31c1fb
Rename TerminalWidget -> Terminal.
|
8 years ago |
|
tooltip
|
5e2695fc5c
Clean up of tooltips and rendered text
|
8 years ago |
|
tooltip-extension
|
75f30d6659
Rename TooltipWidget -> Tooltip.
|
8 years ago |
Steven Silvester