1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253 |
- <!DOCTYPE html>
- <html lang="en">
- <head>
- <!--
- This file is part of FFmpeg.
- All scripts contained in this file can be considered public domain.
- -->
- <title>FFmpeg bookmarklets</title>
- <meta charset="UTF-8">
- <script type="text/javascript">
- function convert(js) {
- js = js.replace(/\/\*.*?\*\//g, ""); /* comments */
- js = js.replace(/\s+/g, " ");
- js = js.replace(/\s+\z/, "");
- js = "(function(){" + js + "})();void 0";
- return "javascript:" + escape(js);
- }
- function init() {
- var pre = document.getElementsByTagName("pre");
- for (var i = 0; pre.length > i; i++) {
- document.getElementById(pre[i].id + "-link").href = convert(pre[i].textContent);
- }
- }
- </script>
- <style type="text/css">
- pre { border: solid black 1px; padding: 0.2ex; font-size: 80% }
- </style>
- </head>
- <body onload="init()">
- <h1>Introduction</h1>
- <p>The scripts in this page are
- <a href="http://en.wikipedia.org/wiki/Bookmarklet">bookmarklets</a>: store
- their link version in a bookmark, and later activate the bookmark on a page
- to run the script.</p>
- <h1>TED Talks captions</h1>
- <p><a id="ted_talks_captions-link" href="#">Get links to the captions</a></p>
- <pre id="ted_talks_captions">
- d = window.open("", "sub", "width=256,height=512,resizable=yes,scrollbars=yes").document;
- l = document.getElementById("languageCode").getElementsByTagName("option");
- for (i = 1; i < l.length ; i++) {
- d.body.appendChild(p = d.createElement("p"));
- p.appendChild(a = d.createElement("a"));
- a.appendChild(d.createTextNode(l[i].textContent));
- a.href="http://www.ted.com/talks/subtitles/id/" + talkID+"/lang/" + l[i].value;
- }
- </pre>
- </body>
- </html>
|