← 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-19 00:54:28 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:500
db: get_user and get_users now return User objects instead of dictionaries.
    This is the major part of replacing dicts with User objects, as it
    propagates upwards.

Propagated User objects up through the following modules:
    listusers.py, dispatch.login, authenticate, userservice, forumutil
All of these now treat users as an object rather than a dict.

To save on the size of the changes so far, login still individually copies
fields over to the session (so the session does not yet store a user object;
that is the second part of this refactor).

WOO!! Revision 500 :)

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>