Brian E. Granger 16f3c28eb7 Merge pull request #2313 from blink1073/update-commands 8 years ago
..
all-packages 2dfac5a76f Remove about plugin. 8 years ago
application 408c866a2b Fix sidebar current tab style 8 years ago
application-extension b59c78f887 Update the message formatting 8 years ago
apputils 85f1f33e44 Theme refactor. 8 years ago
apputils-extension b614c79c62 Publish 8 years ago
cells fc5877c17a Merge pull request #2283 from blink1073/pr/2205 8 years ago
chatbox 742b272524 Update theme loading for chatbox. 8 years ago
chatbox-extension 221d28ba2f Don't use null value in weak map. 8 years ago
codeeditor 85f1f33e44 Theme refactor. 8 years ago
codemirror 9004e3b414 Add temporary check. 8 years ago
codemirror-extension 79012c34be Update the command palette dynamically 8 years ago
completer 85f1f33e44 Theme refactor. 8 years ago
completer-extension 6f72ca2b8f Publish 8 years ago
console fc5877c17a Merge pull request #2283 from blink1073/pr/2205 8 years ago
console-extension 79012c34be Update the command palette dynamically 8 years ago
coreutils 1aa0a1e41a Fix missing typings file 8 years ago
csvviewer 6d8025ed8c Tryinig out slightly different border/shadow. 8 years ago
csvviewer-extension 6fb68e17ce Merge pull request #2236 from blink1073/button-icon 8 years ago
docmanager 221d28ba2f Don't use null value in weak map. 8 years ago
docmanager-extension b614c79c62 Publish 8 years ago
docregistry 9b3c05d592 Merge pull request #2248 from ian-r-rose/contents_manager_drives 8 years ago
docregistry-extension b614c79c62 Publish 8 years ago
faq-extension 85f1f33e44 Theme refactor. 8 years ago
filebrowser 0f5e418897 Remove unnecessary check. 8 years ago
filebrowser-extension 72fffa8da6 Make DocumentManager a singleton for FileBrowserModel 8 years ago
fileeditor 85f1f33e44 Theme refactor. 8 years ago
fileeditor-extension fa1d1f07e8 Add command palette update to fileeditor 8 years ago
help-extension 85f1f33e44 Theme refactor. 8 years ago
imageviewer 85f1f33e44 Theme refactor. 8 years ago
imageviewer-extension 99db614a6f Fix syntax 8 years ago
inspector 2006cb9343 A bit more space. 8 years ago
inspector-extension 6f72ca2b8f Publish 8 years ago
landing-extension 976ad6bb8d Clean up CSS for landing. 8 years ago
launcher 85f1f33e44 Theme refactor. 8 years ago
launcher-extension 6f72ca2b8f Publish 8 years ago
markdownviewer 85f1f33e44 Theme refactor. 8 years ago
markdownviewer-extension 6fb68e17ce Merge pull request #2236 from blink1073/button-icon 8 years ago
notebook 4b8aaf9918 Refined shadow below notebook toolbar to be more subtle 8 years ago
notebook-extension 79012c34be Update the command palette dynamically 8 years ago
outputarea fc5877c17a Merge pull request #2283 from blink1073/pr/2205 8 years ago
rendermime 85f1f33e44 Theme refactor. 8 years ago
rendermime-extension b614c79c62 Publish 8 years ago
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 years ago
running-extension bfd42c7d7f Fix bug to get consoles to open from running side panel. 8 years ago
services 830a8b77fd Reinstate xmlhttprequest typings 8 years ago
services-extension b614c79c62 Publish 8 years ago
shortcuts-extension ab42fa4e18 Activate inspector shortcut on body. 8 years ago
tabmanager-extension 1a1e67cf77 Adding minor left tab label padding. 8 years ago
terminal 8a0449d7be Addressing review comments. 8 years ago
terminal-extension 79012c34be Update the command palette dynamically 8 years ago
theme-dark-extension 9a2f66e426 Clean up theming 8 years ago
theme-light-extension 9a2f66e426 Clean up theming 8 years ago
theming 9f93d885d9 Use relative line-height. 8 years ago
tooltip 85f1f33e44 Theme refactor. 8 years ago
tooltip-extension 6f72ca2b8f Publish 8 years ago