← Back to branch summary

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

« back to all changes in this revision

Viewing changes to console/index.html

  • Committer: David Coles
  • Date: 2010-07-17 11:32:50 UTC
  • Revision ID: coles.david@gmail.com-20100717113250-vi18n50bcjmfmzrt
https://launchpad.net/bugs/592514
Show warning for CGI header field-names which contain restricted characters.

Forbidden characters are the separators defined by RFC3875. This is mainly to 
fix an issue where printing a dictionary (with no CGI headers) could be 
assumed to be a CGI header with no warnings.

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>