← 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-07-07 12:01:03 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:820
lib: Added new package pulldown_subj, a collection of modules designed to
    pull student subject enrolments from the server.
    Note that the actual code to do this is not included (since that is
    specific to the organisation running IVLE) - just a pluggable interface
    and an example plugin module.
configure.py: Added new config option: subject_pulldown_modules, which allows
    you to specify which modules are plugged in here.
    (Actually that was added accidentally in a previous commit; but this
    revision fixes some comments).

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>