Steven Silvester c5a5428561 Fix handling of state version and update lab example 8 years ago
..
about 3674566f9f Partially refactor about plugin, use safer IDs. 8 years ago
application 3db26c822c Add getters to check if parts of the shell are empty. Only open the landing page if the main area is empty. 8 years ago
basestyle b490438301 Move all files .less -> .css 8 years ago
clipboard 5385f1089b Refactor clipboard plugin to have token and interface defined in implementation instead of in plugin. 8 years ago
codemirror aa00055b07 Merge pull request #1158 from blink1073/codemirror-refresh-throttle 8 years ago
commandlinker 414896488c Clean up command linker plugin. 8 years ago
commandpalette 401fcc4871 Changed letter spacing to be less drastic (it was 2px, now it is 1.2px) in the command pallete section headers as well as in the section headers within the running applications tab 8 years ago
common c8362b905f Clean up. 8 years ago
completer d1174957df wip update apis 8 years ago
console c8362b905f Clean up. 8 years ago
csvwidget c8362b905f Clean up. 8 years ago
default-theme bbb4ef7882 Clean up CSS classes 8 years ago
dialog 0b58d49a56 Changed min-height to be smaller to accomodate for text files 8 years ago
docmanager 9dcd43564c Formatting and clean up 8 years ago
docregistry f24a70948d Fix context disposal handling 8 years ago
editorwidget 8e63a53334 Prevent the loading-from-disk step from being in the editor history. 8 years ago
faq c8362b905f Clean up. 8 years ago
filebrowser f10bd8f51d Clean up and resolve merge conflicts. 8 years ago
help a4ba1a2dfb Add clear application state command. 8 years ago
iframe b490438301 Move all files .less -> .css 8 years ago
imagewidget c8362b905f Clean up. 8 years ago
inspector c8362b905f Clean up. 8 years ago
landing 3db26c822c Add getters to check if parts of the shell are empty. Only open the landing page if the main area is empty. 8 years ago
launcher ef8826ab89 Clean up handling of terminals 8 years ago
layoutrestorer d38d51cb36 Add restored promise to layout restorer, refactor. 8 years ago
main 769c99fcf4 Dock Panel --> Main Area rename 8 years ago
mainmenu 063d0615d5 Remove a menu from the main menu when it is disposed 8 years ago
markdownwidget ff1ff69c79 Restore layout on markdown widget. 8 years ago
notebook 8041fa323f Restore layout for notebooks. 8 years ago
renderers fe8c5d42f7 Change max-width for tables to 150px 8 years ago
rendermime afb440bf2b Clean up the rendermime api 8 years ago
running ef8826ab89 Clean up handling of terminals 8 years ago
sanitizer f639520c7e Minor formatting. 8 years ago
services d1174957df wip update apis 8 years ago
shortcuts 8aefdb7de0 wip console interaction cleanup 8 years ago
statedb c5a5428561 Fix handling of state version and update lab example 8 years ago
terminal c8362b905f Clean up. 8 years ago
toolbar ce571a08f3 Update interfaces for services 0.33 8 years ago
tsconfig.json 798d09f5b9 Separate out the typedoc-specific typings. 8 years ago
typedoc.d.ts 798d09f5b9 Separate out the typedoc-specific typings. 8 years ago
typings.d.ts 798d09f5b9 Separate out the typedoc-specific typings. 8 years ago
utils.ts 59d08ea481 Modernize utils. 8 years ago