20061121

Der Code für das Syntax-Highlighting dieser Seite :)

<script language="javascript" type="text/javascript">
 var keywords = new Array(
  'abstract','continue','for','new','switch','assert','default',
  'if','package','synchronized','boolean','do','goto','private',
  'this','break','double','implements','protected','throw','byte',
  'else','import','public','throws','case','enum','instanceof',
  'return','transient','catch','extends','int','short','try',
  'char','final','interface','static','void','class','finally',
  'long','strictfp','volatile','const','float','native','super','while',
  'null','true','false');
 
 function parseKeywords(str)
 {
  for (var j = 0; j<keywords.length;j++)
  {
   var r = new RegExp('\\b'+reg(keywords[j])+'\\b','g');
   str = str.replace(r,keywords[j].fontcolor('#7F0055').bold());
  }
  return str;
 }
 
 function reg(str)
 {
  return str.replace(/\(/g,'\\\(').replace(/\)/g,'\\\)')
            .replace(/\{/g,'\\\{').replace(/\}/g,'\\\}')
            .replace(/\[/g,'\\\[').replace(/\]/g,'\\\]');
 }
 
 var pretags = document.getElementsByTagName('pre');
 for (var i = 0;i<pretags.length;i++)
 {
  var dat = pretags[i].innerHTML;
  dat = dat.replace(/\n/g,'<br>');
  dat = dat.replace(/ /g,'&nbsp;');
  dat = dat.replace(/ /g,'&nbsp;&nbsp;&nbsp;&nbsp;');
  dat = parse(dat);          
  pretags[i].innerHTML = dat;
 }
</script>

Keine Kommentare: