equal
deleted
inserted
replaced
21 <script src="/js/libs-annotviz.js"></script> |
21 <script src="/js/libs-annotviz.js"></script> |
22 <script src="/js/annotviz.js"></script> |
22 <script src="/js/annotviz.js"></script> |
23 <script> |
23 <script> |
24 |
24 |
25 var PIXI = require('pixi'); |
25 var PIXI = require('pixi'); |
26 |
|
27 function colorToHex(input) { |
|
28 if (input.substring(0, 1) === '#') { |
|
29 return input; |
|
30 } |
|
31 else { |
|
32 var m = input.match(/^rgb\s*\(\s*(\d+)\s*,\s*(\d+)\s*,\s*(\d+)\s*\)$/i); |
|
33 var r = m[1], g=[2], b=[3]; |
|
34 return "#" + ((1 << 24) + (r << 16) + (g << 8) + b).toString(16).slice(1); |
|
35 } |
|
36 } |
|
37 |
26 |
38 var pianorollChannel = 'PIANOROLL'; |
27 var pianorollChannel = 'PIANOROLL'; |
39 var annotationChannel = 'ANNOT'; |
28 var annotationChannel = 'ANNOT'; |
40 var eventCode = 'atelier2'; |
29 var eventCode = 'atelier2'; |
41 var serverUrl = "http://172.16.0.20:8080"; |
30 var serverUrl = "http://172.16.0.20:8080"; |