← 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

Dispatch now generates an index for each plugin type, allowing plugins to
be written which are aware of other plugins, and other plugin types.

All view plugins now subclass from ivle.webapp.base.plugins.ViewPlugin,
as opposed to subclassing BasePlugin directly. This will allow us to
easily re-write console as an OverlayPlugin, and allow future new
plugins types to be created.

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>