← Back to branch summary

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

« back to all changes in this revision

Viewing changes to console/index.html

  • Committer: William Grant
  • Date: 2009-05-26 02:10:08 UTC
  • Revision ID: grantw@unimelb.edu.au-20090526021008-hnka598yacu5w6da
Always set isdir = False in the file browser template filling.

Previously we used os.path.isdir outside the jail, which was terribly
unreliable and prone to crashing. We should do it properly once we can get
server-side access to the jails.

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>