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