90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
|
var view_transform =
[[1, 0, 0],
[0, 1, 0],
[0, 0, 1]];
var key_state = {};
var key_state_augmentation_timeout = 150; // the permissible time in milliseconds since the last key event to still allow the key state to augment instead of clearing.
function addKeyListener(keycode, func){
|
<
<
<
<
<
<
<
|
90
91
92
93
94
95
96
97
98
99
100
101
102
103
|
var view_transform =
[[1, 0, 0],
[0, 1, 0],
[0, 0, 1]];
var key_state = {};
var key_state_augmentation_timeout = 150; // the permissible time in milliseconds since the last key event to still allow the key state to augment instead of clearing.
function addKeyListener(keycode, func){
|
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
|
if(selected_points[i] == highlight_object){
selected_points.splice(i, 1); // deselect point
alreadySelected = true;
break; }}}
else{
selected_points.length = 0;}
if(!alreadySelected) selected_points.push(highlight_object); }
else if(!key_state[16] || !key_state[16].state)
selected_points.length = 0; }
else if(lasts && mouse_dragging ){ // drag actions
|
|
|
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
|
if(selected_points[i] == highlight_object){
selected_points.splice(i, 1); // deselect point
alreadySelected = true;
break; }}}
else{
selected_points.length = 0;}
if(!alreadySelected && highlight_object < points.length) selected_points.push(highlight_object); }
else if(!key_state[16] || !key_state[16].state)
selected_points.length = 0; }
else if(lasts && mouse_dragging ){ // drag actions
|