[deb_ffmpeg.git] / ffmpeg / tools / bookmarklets.html

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