wip add lab page
Add missing source files
Remove unused typings
Clean up tsconfig
No typings are required
Add typescript to dev dependencies
Switch to a JS-only build
Remove unused config file
Remove unused test and cleanup handlers
Update the setup file to build the lab
Use new application plugin from js-plugins
Remove whitespace changes
Bump plugins version
Update to latest plugins
Update to latest plugins
Update to latest jupyter-js-plugins and add files to manifest
Work around bug in css-loader
Update plugins and fix webpack warning
Update lab version
Fix static directory path
Bump plugins version
Add the try jupyter link
Bump dependencies
Back out whitespace changes
Update plugins version
Update dependencies
Update the bootstrap file
Use a standalone template for the lab page
It use the notion of Head/Anchor moving the selection normally move both
the head and the anchor. It is possible to mot move the anchor, for
example by pressing Shift.
Everything in between the head and the anchor (head and anchor included)
is in a "soft-selection" marked with the 'jupyter-soft-selection' class
in CSS.
This then remove completely the notion of marked cell, and thus disallow
discontinuous selection.
Unlike previous implementation the used a thick left border, this use
background gradient with 2 stops at the same position to archived the
same visual effect without the gap in between left border in between
contiguous cells.
For compatibility with previous versions, a few choices have been made.
An extra multi-selected class is added to the body when multiple
cells are selected. This allow to toggle the background to a soft blue
indicating selection. And the Head of the selection is still called the
"selected" cell.
The on_focus event have been reworked as a
click-let-click-release-outside of codemirror was putting the notebook
in undefined state with multiple selected cells, and the head in edit
mode.
Finally Travis now test on edge group, to get faster, which can be
removed in a few weeks as the all infrastructure of Travis will move on
Google Cloud.