mirror of https://github.com/FFmpeg/FFmpeg.git
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
56 lines
1.6 KiB
56 lines
1.6 KiB
13 years ago
|
<!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>
|