Brian E. Granger f04ed92adf Merge pull request #2306 from cameronoelsen/master 8 سال پیش
..
about-extension c3e367aac9 Adding a few missing index.css imports. 8 سال پیش
all-packages 3320d72398 Restructure and update examples 8 سال پیش
application 408c866a2b Fix sidebar current tab style 8 سال پیش
application-extension b59c78f887 Update the message formatting 8 سال پیش
apputils 85f1f33e44 Theme refactor. 8 سال پیش
apputils-extension b614c79c62 Publish 8 سال پیش
cells fc5877c17a Merge pull request #2283 from blink1073/pr/2205 8 سال پیش
chatbox 742b272524 Update theme loading for chatbox. 8 سال پیش
chatbox-extension 221d28ba2f Don't use null value in weak map. 8 سال پیش
codeeditor 85f1f33e44 Theme refactor. 8 سال پیش
codemirror fc5877c17a Merge pull request #2283 from blink1073/pr/2205 8 سال پیش
codemirror-extension b614c79c62 Publish 8 سال پیش
completer 85f1f33e44 Theme refactor. 8 سال پیش
completer-extension 6f72ca2b8f Publish 8 سال پیش
console fc5877c17a Merge pull request #2283 from blink1073/pr/2205 8 سال پیش
console-extension cbe6014b39 wip command name coherence 8 سال پیش
coreutils 27ccf5f51f Merge pull request #2232 from blink1073/remove-vector 8 سال پیش
csvviewer 6d8025ed8c Tryinig out slightly different border/shadow. 8 سال پیش
csvviewer-extension 6fb68e17ce Merge pull request #2236 from blink1073/button-icon 8 سال پیش
docmanager 221d28ba2f Don't use null value in weak map. 8 سال پیش
docmanager-extension b614c79c62 Publish 8 سال پیش
docregistry 9b3c05d592 Merge pull request #2248 from ian-r-rose/contents_manager_drives 8 سال پیش
docregistry-extension b614c79c62 Publish 8 سال پیش
faq-extension 85f1f33e44 Theme refactor. 8 سال پیش
filebrowser d74d200eaa Changed the appearance of the drag and drop view of file browser items 8 سال پیش
filebrowser-extension 72fffa8da6 Make DocumentManager a singleton for FileBrowserModel 8 سال پیش
fileeditor 85f1f33e44 Theme refactor. 8 سال پیش
fileeditor-extension efcc18b68c #1357 Respect markdown code boundaries for code execution 8 سال پیش
help-extension 85f1f33e44 Theme refactor. 8 سال پیش
imageviewer 85f1f33e44 Theme refactor. 8 سال پیش
imageviewer-extension 098dc2f074 Merge pull request #2261 from blink1073/imageviewer-cleanup 8 سال پیش
inspector 2006cb9343 A bit more space. 8 سال پیش
inspector-extension 6f72ca2b8f Publish 8 سال پیش
landing-extension c3e367aac9 Adding a few missing index.css imports. 8 سال پیش
launcher 85f1f33e44 Theme refactor. 8 سال پیش
launcher-extension 6f72ca2b8f Publish 8 سال پیش
markdownviewer 85f1f33e44 Theme refactor. 8 سال پیش
markdownviewer-extension 6fb68e17ce Merge pull request #2236 from blink1073/button-icon 8 سال پیش
notebook 4b8aaf9918 Refined shadow below notebook toolbar to be more subtle 8 سال پیش
notebook-extension 007832b07d Merge pull request #2262 from blink1073/command-names 8 سال پیش
outputarea fc5877c17a Merge pull request #2283 from blink1073/pr/2205 8 سال پیش
rendermime 85f1f33e44 Theme refactor. 8 سال پیش
rendermime-extension b614c79c62 Publish 8 سال پیش
running 2239aeb23f Restyled running sessions shutdown button, now running session name is hoverable to tell that it is clickable, started styling tabmanager to be consistent with rest of UI 8 سال پیش
running-extension bfd42c7d7f Fix bug to get consoles to open from running side panel. 8 سال پیش
services 9b3c05d592 Merge pull request #2248 from ian-r-rose/contents_manager_drives 8 سال پیش
services-extension b614c79c62 Publish 8 سال پیش
shortcuts-extension ab42fa4e18 Activate inspector shortcut on body. 8 سال پیش
tabmanager-extension 1a1e67cf77 Adding minor left tab label padding. 8 سال پیش
terminal 8a0449d7be Addressing review comments. 8 سال پیش
terminal-extension 156ab54175 Ongoing work to fix/simplify terminal theming. 8 سال پیش
theme-dark-extension 9a2f66e426 Clean up theming 8 سال پیش
theme-light-extension 9a2f66e426 Clean up theming 8 سال پیش
theming 9a2f66e426 Clean up theming 8 سال پیش
tooltip 85f1f33e44 Theme refactor. 8 سال پیش
tooltip-extension 6f72ca2b8f Publish 8 سال پیش