User correct namespace

Author: ibdafna

Diff for: packages/html-manager/src/htmlmanager.ts

@@ -6,7 +6,6 @@ import * as base from '@jupyter-widgets/base';
 import * as outputWidgets from './output';
 import { ManagerBase } from '@jupyter-widgets/base-manager';
 import { MessageLoop } from '@lumino/messaging';
-import { Widget } from '@lumino/widgets';
 
 import * as LuminoWidget from '@lumino/widgets';
 import {
@@ -40,7 +39,7 @@ export class HTMLManager extends ManagerBase {
       this._viewList.forEach(view => {
         MessageLoop.postMessage(
           view.lmWidget,
-          Widget.ResizeMessage.UnknownSize
+          LuminoWidget.Widget.ResizeMessage.UnknownSize
         );
       });
     });

Diff for: widgetsnbextension/src/extension.js

@@ -79,7 +79,7 @@ function register_events(Jupyter, events, outputarea) {
     Object.keys(views).forEach(viewKey => {
       LuminoMessaging.MessageLoop.postMessage(
         views[viewKey].lmWidget,
-        Widget.ResizeMessage.UnknownSize
+        LuminoWidget.Widget.ResizeMessage.UnknownSize
       );
     });
   });