← Back to branch summary

~azzar1/unity/add-show-desktop-key

« back to all changes in this revision

Viewing changes to www/media/common/codepress/codepress.html

  • Committer: William Grant
  • Date: 2010-07-28 05:06:15 UTC
  • Revision ID: grantw@unimelb.edu.au-20100728050615-uwbxn9frla3pdw8m
Encode content_type when downloading files. cjson made us write bad code.

Show diffs side-by-side

added added

removed removed

Lines of Context:
www/media/common/codepress/codepress.html
1
 
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
2
 
<html>
3
 
<head>
4
 
        <title>CodePress - Real Time Syntax Highlighting Editor written in JavaScript</title>
5
 
        <meta name="description" content="CodePress - source code editor window" />
6
 
 
7
 
        <script type="text/javascript">
8
 
        var language = 'generic';
9
 
        var engine = 'older';
10
 
        var ua = navigator.userAgent;
11
 
        var ts = (new Date).getTime(); // timestamp to avoid cache
12
 
        var lh = location.href;
13
 
        
14
 
        if(ua.match('MSIE')) engine = 'msie';
15
 
        else if(ua.match('KHTML')) engine = 'khtml'; 
16
 
        else if(ua.match('Opera')) engine = 'opera'; 
17
 
        else if(ua.match('Gecko')) engine = 'gecko';
18
 
 
19
 
        if(lh.match('language=')) language = lh.replace(/.*language=(.*?)(&.*)?$/,'$1');
20
 
 
21
 
        document.write('<link type="text/css" href="codepress.css?ts='+ts+'" rel="stylesheet" />');
22
 
        document.write('<link type="text/css" href="languages/'+language+'.css?ts='+ts+'" rel="stylesheet" id="cp-lang-style" />');
23
 
        document.write('<scr'+'ipt type="text/javascript" src="engines/'+engine+'.js?ts='+ts+'"></scr'+'ipt>');
24
 
        document.write('<scr'+'ipt type="text/javascript" src="languages/'+language+'.js?ts='+ts+'"></scr'+'ipt>');
25
 
        </script>
26
 
 
27
 
</head>
28
 
 
29
 
<script type="text/javascript">
30
 
if(engine == "msie" || engine == "gecko") document.write('<body><pre> </pre></body>');
31
 
else if(engine == "opera") document.write('<body></body>');
32
 
// else if(engine == "khtml") document.write('<body> </body>');
33
 
</script>
34
 
 
35
 
</html>