@@ -9,7 +9,7 @@ import { Panel, Widget as LuminoWidget } from '@lumino/widgets';
9
9
10
10
import { IRenderMime } from '@jupyterlab/rendermime-interfaces' ;
11
11
12
- import { WidgetManager } from './manager' ;
12
+ import { LabWidgetManager } from './manager' ;
13
13
import { DOMWidgetModel } from '@jupyter-widgets/base' ;
14
14
15
15
/**
@@ -19,7 +19,10 @@ export class WidgetRenderer
19
19
extends Panel
20
20
implements IRenderMime . IRenderer , IDisposable
21
21
{
22
- constructor ( options : IRenderMime . IRendererOptions , manager ?: WidgetManager ) {
22
+ constructor (
23
+ options : IRenderMime . IRendererOptions ,
24
+ manager ?: LabWidgetManager
25
+ ) {
23
26
super ( ) ;
24
27
this . mimeType = options . mimeType ;
25
28
if ( manager ) {
@@ -30,7 +33,7 @@ export class WidgetRenderer
30
33
/**
31
34
* The widget manager.
32
35
*/
33
- set manager ( value : WidgetManager ) {
36
+ set manager ( value : LabWidgetManager ) {
34
37
value . restored . connect ( this . _rerender , this ) ;
35
38
this . _manager . resolve ( value ) ;
36
39
}
@@ -117,6 +120,6 @@ export class WidgetRenderer
117
120
* The mimetype being rendered.
118
121
*/
119
122
readonly mimeType : string ;
120
- private _manager = new PromiseDelegate < WidgetManager > ( ) ;
123
+ private _manager = new PromiseDelegate < LabWidgetManager > ( ) ;
121
124
private _rerenderMimeModel : IRenderMime . IMimeModel | null = null ;
122
125
}
0 commit comments