···

       
1
       
1
       
 
       
javascript = '''

     

       
2
       
2
       
 
       
require.undef('drawingview');

     

       
3
       
3
       
 
       


     

       
4
       
4
       
-
       
define('drawingview', ["@jupyter-widgets/base"], function(widgets) {

     

       
4
       
4
       
+
       
define('drawingview', ['@jupyter-widgets/base'], function(widgets) {

     

       
5
       
5
       
 
       
    var DrawingView = widgets.DOMWidgetView.extend({

     

       
6
       
6
       
 
       
        render: function() {

     

       
7
       
7
       
 
       
            this.container = document.createElement('a');

     
···

       
9
       
9
       
 
       
            this.container.appendChild(this.svg_view);

     

       
10
       
10
       
 
       
            this.el.appendChild(this.container);

     

       
11
       
11
       
 
       
            this.model.on('change:_image', this.image_changed, this);

     

       
12
       
12
       
+
       
            this.model.on('change:_mousemove_blocked', this.block_changed,

     

       
13
       
13
       
+
       
                          this);

     

       
12
       
14
       
 
       
        },

     

       
13
       
15
       
 
       
        image_changed: function() {

     

       
14
       
16
       
 
       
            this.container.innerHTML = this.model.get('_image');

     
···

       
16
       
18
       
 
       
            this.cursor_point = this.svg_view.createSVGPoint();

     

       
17
       
19
       
 
       
            this.register_events();

     

       
18
       
20
       
 
       
        },

     

       
21
       
21
       
+
       
        last_move: null,

     

       
22
       
22
       
+
       
        block_changed: function() {

     

       
23
       
23
       
+
       
            var widget = this;

     

       
24
       
24
       
+
       
            window.setTimeout(function() {

     

       
25
       
25
       
+
       
                if (!widget.model.get('_mousemove_blocked') && widget.last_move) {

     

       
26
       
26
       
+
       
                    widget.send_mouse_event('mousemove', widget.last_move);

     

       
27
       
27
       
+
       
                }

     

       
28
       
28
       
+
       
            }, 0);

     

       
29
       
29
       
+
       
        },

     

       
19
       
30
       
 
       
        send_mouse_event: function(name, e) {

     

       
31
       
31
       
+
       
            this.last_move = null;

     

       
20
       
32
       
 
       
            if (this.model.get('disable')) {

     

       
21
       
33
       
 
       
                return;

     

       
22
       
34
       
 
       
            }

     
···

       
59
       
71
       
 
       
            });

     

       
60
       
72
       
 
       
            this.svg_view.addEventListener('mousemove', function(e) {

     

       
61
       
73
       
 
       
                e.preventDefault();

     

       
62
       
62
       
-
       
                if (!widget.model.get('_mousemove_blocked')) {

     

       
74
       
74
       
+
       
                if (widget.model.get('_mousemove_blocked')) {

     

       
75
       
75
       
+
       
                    widget.last_move = e;

     

       
76
       
76
       
+
       
                } else {

     

       
63
       
77
       
 
       
                    widget.send_mouse_event('mousemove', e);

     

       
64
       
78
       
 
       
                }

     

       
65
       
79
       
 
       
            });