Use html manager to display widget in web3 example.

This lets us use the html manager window resize logic.

Author: jasongrout

examples/web3/package.json

@@ -18,7 +18,6 @@
     "@jupyter-widgets/controls": "^4.0.0-alpha.3",
     "@jupyter-widgets/html-manager": "^0.21.0-alpha.3",
     "@jupyterlab/services": "^6.0.0",
-    "@lumino/widgets": "^1.11.1",
     "codemirror": "^5.48.0",
     "font-awesome": "^4.7.0",
     "http-server": "^0.12.3"

examples/web3/src/index.ts

@@ -3,7 +3,6 @@ import 'codemirror/lib/codemirror.css';
 import 'codemirror/mode/python/python';
 import 'font-awesome/css/font-awesome.css';
 import { WidgetManager } from './manager';
-import * as luminoWidget from '@lumino/widgets';
 
 import {
   KernelManager,
@@ -62,8 +61,7 @@ document.addEventListener('DOMContentLoaded', async function(event) {
       if (widgetData !== undefined && widgetData.version_major === 2) {
         const model = await manager.get_model(widgetData.model_id);
         if (model !== undefined) {
-          const view = await manager.create_view(model);
-          luminoWidget.Widget.attach(view.luminoWidget, widgetarea);
+          manager.display_view(manager.create_view(model), widgetarea);
         }
       }
     }