html/scripting-parser/parser.html

<!DOCTYPE HTML>
<html lang=en>
<head>
<title>Live Scripting HTML Parser</title>
<style>
  h1, h2 {
    margin: 0;
    font-size: 100%;
  }
  p, pre {
    margin: 0;
  }
  textarea {
    width: 100%;
    -width: 99%;
    height: 10em;
  }
  output {
    display: block;
    font-family: monospace;
    white-space: -moz-pre-wrap;
    white-space: pre-wrap;
  }
</style>
<script>
  var delayedUpdater = 0;

  function update () {
    if (delayedUpdater) {
      clearTimeout (delayedUpdater);
      delayedUpdater = 0;
    }
    delayedUpdater = setTimeout (update2, 100);
  } // update

  function update2 () {
    var v = document.sourceElement.value;
    if (v != document.previousSourceText) {
      document.previousSourceText = v;
1	<!DOCTYPE HTML>
2	<html lang=en>
3	<head>
4	<title>Live Scripting HTML Parser</title>
5	<style>
6	h1, h2 {
7	margin: 0;
8	font-size: 100%;
9	}
10	p, pre {
11	margin: 0;
12	}
13	textarea {
14	width: 100%;
15	-width: 99%;
16	height: 10em;
17	}
18	output {
19	display: block;
20	font-family: monospace;
21	white-space: -moz-pre-wrap;
22	white-space: pre-wrap;
23	}
24	</style>
25	<script>
26	var delayedUpdater = 0;
27
28	function update () {
29	if (delayedUpdater) {
30	clearTimeout (delayedUpdater);
31	delayedUpdater = 0;
32	}
33	delayedUpdater = setTimeout (update2, 100);
34	} // update
35
36	function update2 () {
37	var v = document.sourceElement.value;
38	if (v != document.previousSourceText) {
39	document.previousSourceText = v;