|
yading@11
|
1 <!DOCTYPE html>
|
|
yading@11
|
2 <html>
|
|
yading@11
|
3 <head>
|
|
yading@11
|
4 <!--
|
|
yading@11
|
5 This file is part of FFmpeg.
|
|
yading@11
|
6
|
|
yading@11
|
7 All scripts contained in this file can be considered public domain.
|
|
yading@11
|
8 -->
|
|
yading@11
|
9 <title>FFmpeg bookmarklets</title>
|
|
yading@11
|
10 <meta charset="UTF-8">
|
|
yading@11
|
11 <script type="text/javascript">
|
|
yading@11
|
12 function convert(js) {
|
|
yading@11
|
13 js = js.replace(/\/\*.*?\*\//g, ""); /* comments */
|
|
yading@11
|
14 js = js.replace(/\s+/g, " ");
|
|
yading@11
|
15 js = js.replace(/\s+\z/, "");
|
|
yading@11
|
16 js = "(function(){" + js + "})();void 0";
|
|
yading@11
|
17 return "javascript:" + escape(js);
|
|
yading@11
|
18 }
|
|
yading@11
|
19 function init() {
|
|
yading@11
|
20 var pre = document.getElementsByTagName("pre");
|
|
yading@11
|
21 for (var i = 0; pre.length > i; i++) {
|
|
yading@11
|
22 document.getElementById(pre[i].id + "-link").href = convert(pre[i].textContent);
|
|
yading@11
|
23 }
|
|
yading@11
|
24 }
|
|
yading@11
|
25 </script>
|
|
yading@11
|
26 <style type="text/css">
|
|
yading@11
|
27 pre { border: solid black 1px; padding: 0.2ex; font-size: 80% }
|
|
yading@11
|
28 </style>
|
|
yading@11
|
29 </head>
|
|
yading@11
|
30 <body onload="init()">
|
|
yading@11
|
31
|
|
yading@11
|
32 <h1>Introduction</h1>
|
|
yading@11
|
33
|
|
yading@11
|
34 The scripts in this page are
|
|
yading@11
|
35 <a href="http://en.wikipedia.org/wiki/Bookmarklet">bookmarklets</a>: store
|
|
yading@11
|
36 their link version in a bookmark, and later activate the bookmark on a page
|
|
yading@11
|
37 to run the script.
|
|
yading@11
|
38
|
|
yading@11
|
39 <h1>TED Talks captions</h1>
|
|
yading@11
|
40
|
|
yading@11
|
41 <p><a id="ted_talks_captions-link" href="#">Get links to the captions</a></p>
|
|
yading@11
|
42
|
|
yading@11
|
43 <pre id="ted_talks_captions">
|
|
yading@11
|
44 d = window.open("", "sub", "width=256,height=512,resizable=yes,scrollbars=yes").document;
|
|
yading@11
|
45 l = document.getElementById("languageCode").getElementsByTagName("option");
|
|
yading@11
|
46 for (i = 1; i < l.length ; i++) {
|
|
yading@11
|
47 d.body.appendChild(p = d.createElement("p"));
|
|
yading@11
|
48 p.appendChild(a = d.createElement("a"));
|
|
yading@11
|
49 a.appendChild(d.createTextNode(l[i].textContent));
|
|
yading@11
|
50 a.href="http://www.ted.com/talks/subtitles/id/" + talkID+"/lang/" + l[i].value;
|
|
yading@11
|
51 }
|
|
yading@11
|
52 </pre>
|
|
yading@11
|
53
|
|
yading@11
|
54 </body>
|
|
yading@11
|
55 </html>
|
