← 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-01-16 22:37:07 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:237
listing: bugfix, update_selection no longer dependent on dictionary ordering
    (which would cause the wrong files to be selected if any sorting was
    made). Now processes the listing in the order of the TRs in the DOM.
    Apply an initial sort by filename.

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>