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

« back to all changes in this revision

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

  • Committer: dcoles
  • Date: 2008-07-02 03:10:36 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:797
Setup: Addition of an automatic jail builder. This means we no longer are 
required to maintain an explicit list of files and libraries that can be easily 
broken by a single update to the system. It also goes a huge way to making IVLE 
not only more 'update maintainable' but portable to other Unix systems.  
(Should be fairly trivial if the system supports APT, should be able to be 
modified to support other package manager systems with a bit of work).

Show diffs side-by-side

added added

removed removed

Lines of Context:
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>