equal
deleted
inserted
replaced
19 |
19 |
20 <div id="video"></div> |
20 <div id="video"></div> |
21 <div id="LdtPlayer"></div> |
21 <div id="LdtPlayer"></div> |
22 |
22 |
23 <script type="text/javascript"> |
23 <script type="text/javascript"> |
24 var file = "twitterized.json"; |
24 var file = "polemic_fr.json"; |
25 var config = { |
25 var config = { |
26 gui:{ |
26 gui:{ |
27 width:650, |
27 width:650, |
28 height:2100, |
28 height:2100, |
29 container:'LdtPlayer', |
29 container:'LdtPlayer', |
45 }], |
45 }], |
46 }, |
46 }, |
47 {type: "SparklineWidget", |
47 {type: "SparklineWidget", |
48 width: 640, /* required for this widget */ |
48 width: 640, /* required for this widget */ |
49 height: 50}, |
49 height: 50}, |
50 {type: "SliderWidget"}, |
50 {type: "SliderWidget"}, |
51 {type: "AnnotationsListWidget", |
|
52 container: "AnnotationsListContainer"}, |
|
53 {type: "PlayerWidget"}, |
51 {type: "PlayerWidget"}, |
54 {type: "SegmentsWidget", |
52 {type: "SegmentsWidget", |
55 requires: [{ |
53 requires: [{ |
56 type: "TooltipWidget", |
54 type: "TooltipWidget", |
57 width: 180, |
55 width: 180, |