← 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: mattgiuca
  • Date: 2008-02-05 01:41:15 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:409
Moved www/conf and www/common to a new directory lib. This separates the "web"
part of IVLE from what is becoming less web oriented (at least from Apache's
standpoint).
Modified setup.py to install this lib directory correctly and write conf in
the right place. Also adds the lib directory to ivle.pth.

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>