← Back to branch summary

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

« back to all changes in this revision

Viewing changes to console/index.html

  • Committer: mattgiuca
  • Date: 2008-02-05 01:41:15 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:409
Moved www/conf and www/common to a new directory lib. This separates the "web"
part of IVLE from what is becoming less web oriented (at least from Apache's
standpoint).
Modified setup.py to install this lib directory correctly and write conf in
the right place. Also adds the lib directory to ivle.pth.

Show diffs side-by-side

added added

removed removed

Lines of Context:
console/index.html
1
 
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
2
 
                      "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
3
 
<html>
4
 
 <head>
5
 
  <title>IVLE Python Console</title>
6
 
  <script type='text/javascript' src='md5.js'></script>
7
 
  <script type='text/javascript' src='json2.js'></script>
8
 
  <script type='text/javascript' src='console.js'></script>
9
 
  <style type='text/css'>
10
 
    #output {
11
 
        border: solid blue 1pt;
12
 
        height: 24em;
13
 
        overflow: scroll;
14
 
        margin-bottom: 4pt;
15
 
        padding: 4pt;
16
 
    }
17
 
    #input {
18
 
        border: solid green 1pt;
19
 
    }
20
 
    #prompt {
21
 
        font-family: monospace;
22
 
    }
23
 
    pre.errorMsg {
24
 
        color: red;
25
 
        margin-top: 0em;
26
 
        margin-bottom: 0em;
27
 
    }
28
 
    pre.inputMsg {
29
 
        color: gray;
30
 
        margin-top: 0em;
31
 
        margin-bottom: 0em;
32
 
    }
33
 
    pre.outputMsg {
34
 
        margin-top: 0em;
35
 
        margin-bottom: 0em;
36
 
    }
37
 
  </style>
38
 
 </head>
39
 
 <body>
40
 
  <div id='output'>
41
 
  </div>
42
 
  <div id='input'>
43
 
   <div id='inputArea'>
44
 
   </div>
45
 
   <label id='prompt'>&gt;&gt;&gt;&nbsp;</label><input id='inputText' type='text' size='80' onkeypress='catch_input(event.keyCode)'/>
46
 
  </div>
47
 
 </body>
48
 
</html>