@@ -10,22 +10,22 @@ import {
10
10
KernelManager , ServerConnection , KernelMessage
11
11
} from '@jupyterlab/services' ;
12
12
13
- let BASEURL = prompt ( 'Notebook BASEURL' , 'http://localhost:8888' ) ;
14
- let WSURL = 'ws:' + BASEURL . split ( ':' ) . slice ( 1 ) . join ( ':' ) ;
13
+ const BASEURL = prompt ( 'Notebook BASEURL' , 'http://localhost:8888' ) ;
14
+ const WSURL = 'ws:' + BASEURL . split ( ':' ) . slice ( 1 ) . join ( ':' ) ;
15
15
16
16
document . addEventListener ( 'DOMContentLoaded' , async function ( event ) {
17
17
18
18
// Connect to the notebook webserver.
19
- let connectionInfo = ServerConnection . makeSettings ( {
19
+ const connectionInfo = ServerConnection . makeSettings ( {
20
20
baseUrl : BASEURL ,
21
21
wsUrl : WSURL
22
22
} ) ;
23
- let kernelManager = new KernelManager ( { serverSettings : connectionInfo } ) ;
24
- let kernel = await kernelManager . startNew ( ) ;
23
+ const kernelManager = new KernelManager ( { serverSettings : connectionInfo } ) ;
24
+ const kernel = await kernelManager . startNew ( ) ;
25
25
26
26
// Create a codemirror instance
27
- let code = require ( '../widget_code.json' ) . join ( '\n' ) ;
28
- let inputarea = document . getElementsByClassName ( 'inputarea' ) [ 0 ] as HTMLElement ;
27
+ const code = require ( '../widget_code.json' ) . join ( '\n' ) ;
28
+ const inputarea = document . getElementsByClassName ( 'inputarea' ) [ 0 ] as HTMLElement ;
29
29
CodeMirror ( inputarea , {
30
30
value : code ,
31
31
mode : 'python' ,
@@ -36,18 +36,18 @@ document.addEventListener('DOMContentLoaded', async function(event) {
36
36
} ) ;
37
37
38
38
// Create the widget area and widget manager
39
- let widgetarea = document . getElementsByClassName ( 'widgetarea' ) [ 0 ] as HTMLElement ;
40
- let manager = new WidgetManager ( kernel , widgetarea ) ;
39
+ const widgetarea = document . getElementsByClassName ( 'widgetarea' ) [ 0 ] as HTMLElement ;
40
+ const manager = new WidgetManager ( kernel , widgetarea ) ;
41
41
42
42
// Run backend code to create the widgets. You could also create the
43
43
// widgets in the frontend, like the other widget examples demonstrate.
44
- let execution = kernel . requestExecute ( { code : code } ) ;
45
- execution . onIOPub = ( msg ) => {
44
+ const execution = kernel . requestExecute ( { code : code } ) ;
45
+ execution . onIOPub = ( msg ) : void => {
46
46
// If we have a display message, display the widget.
47
47
if ( KernelMessage . isDisplayDataMsg ( msg ) ) {
48
- let widgetData : any = msg . content . data [ 'application/vnd.jupyter.widget-view+json' ] ;
48
+ const widgetData : any = msg . content . data [ 'application/vnd.jupyter.widget-view+json' ] ;
49
49
if ( widgetData !== undefined && widgetData . version_major === 2 ) {
50
- let model = manager . get_model ( widgetData . model_id ) ;
50
+ const model = manager . get_model ( widgetData . model_id ) ;
51
51
if ( model !== undefined ) {
52
52
model . then ( model => {
53
53
manager . display_model ( msg , model ) ;
0 commit comments