← 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: chadnickbok
  • Date: 2009-01-22 02:14:14 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:1173
Fixes Issue #14

When uploading files, students will now be shown an
error message if there upload would replace already existing
files.

This upload will not be performed until it will not clobber
any old files.

Note that there is currently a way to change this behaviour in
the code in action.py, to allow files to be overwritten. However
there is no way this flag can be set through the browser interface
(yet).

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>