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

« back to all changes in this revision

Viewing changes to console/index.html

  • Committer: mattgiuca
  • Date: 2008-01-29 23:52:19 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:329
Converted Console from an "app" into a "plugin". It can now be plugged in to
any app.
Added "plugins" directory in www. Added "console" plugin. This contains all of
the functionality of what was previously the console app, but modularized so
it can be imported by another app.

apps/console: Removed most of the logic (moved to plugins/console). Replaced
with a simple import of the console plugin. Should behave exactly the same.
apps/tutorial: As proof of concept, imported the console plugin. It now
appears at the bottom of the page (yet to make it have "pop up" behaviour).

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
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>