diff options
| author | Nicolas George <nicolas.george@normalesup.org> | 2012-06-05 18:34:01 +0400 |
|---|---|---|
| committer | Nicolas George <nicolas.george@normalesup.org> | 2012-12-09 21:50:38 +0400 |
| commit | 160013736e40744989c8fc7dd1000980d00cf02d (patch) | |
| tree | ab5223474c295cb240ee2ea4b47a121f21ed7a36 /tools/bookmarklets.html | |
| parent | 18eb31963b9e5b343b934df98ed32bc7d13006f4 (diff) | |
lavf: TED Talks JSON captions demuxer.
Diffstat (limited to 'tools/bookmarklets.html')
| -rw-r--r-- | tools/bookmarklets.html | 55 |
1 files changed, 55 insertions, 0 deletions
diff --git a/tools/bookmarklets.html b/tools/bookmarklets.html new file mode 100644 index 0000000000..9800ab5aef --- /dev/null +++ b/tools/bookmarklets.html @@ -0,0 +1,55 @@ +<!DOCTYPE html> +<html> +<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> + +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. + +<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> |