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