← 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-01-13 10:24:53 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:208
dispatch.html, ivle.css: "apptabs" is now an ID, not a class.
    This is so JavaScript code can easily identify it.
editor: Replaced dummy stub with a simple call to browser.handle.
    Editor and File Browser are now integrated with each other.
util.js: New functions, endswith and path_basename.
browser.js: Major changes to accomodate merging editor with file browser.
    Now detects "edit" URLs and handles files slightly-differently.
    In "edit mode", all files are edited even if they are binary.
    There is a warning for editing files that are binary files.
    Changes the styling of the tabs so that the "selected" tab is
    either the file browser or editor depending on whether the editor
    panel is open or not. (So the actual contents of the page determine
    which tab is selected, not the URL or the server).
    Sets the window title to the name of the directory or file being browsed.`

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>