← Back to branch summary

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

« back to all changes in this revision

Viewing changes to console/index.html

  • Committer: Matt Giuca
  • Date: 2010-07-23 06:27:02 UTC
  • mfrom: (1818.1.1 project-extensions)
  • Revision ID: matt.giuca@gmail.com-20100723062702-cknq5zzk1cwf8q2q
Merge from branch project-extensions (changes project_extension.deadline into project_extension.days in the database).
The branch isn't finished; I just want this DB change to be included before we release 1.0.2, in case the rest of the changes for this branch don't make it.

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='scripts/console.js'></script>
7
 
  <style type='text/css'>
8
 
    #output {
9
 
        border: solid blue 1pt;
10
 
        height: 24em;
11
 
        overflow: scroll;
12
 
        margin-bottom: 4pt;
13
 
    }
14
 
    #errors {
15
 
        border: solid red 1pt;
16
 
        height: 6em;
17
 
        overflow: scroll;
18
 
        margin-bottom: 4pt;
19
 
    }
20
 
    #input {
21
 
        border: solid green 1pt;
22
 
    }
23
 
  </style>
24
 
 </head>
25
 
 <body>
26
 
  <div id='output'>
27
 
  </div>
28
 
  <div id='errors'>
29
 
  </div>
30
 
  <div id='input'>
31
 
   <input type='text' size='80' onchange='enter_line(this)'/>
32
 
  </div>
33
 
 </body>
34
 
</html>