Migrate RETURN-FROM
[jscl.git] / tests.html
1 <!doctype html>
2 <html>
3   <head>
4     <style>
5      /* The console container element */
6     body { background-color: black; font-size: 16px; font-family: Courier; overflow: hidden; padding: 0 0 0 0;}
7     #console {
8       position: absolute;
9       top: 0px;
10       bottom: 0px;
11       left: 0px;
12       right: 0px;
13       background-color:black;
14     }
15
16     .parents {
17         font-weight: bold;
18     }
19
20     /* The inner console element. */
21     .jqconsole {
22         padding: 10px;
23     }
24     /* The cursor. */
25     .jqconsole-cursor {
26         background-color: gray;
27     }
28     /* The cursor color when the console looses focus. */
29     .jqconsole-blurred .jqconsole-cursor {
30         background-color: #666;
31     }
32     /* The current prompt text color */
33     .jqconsole-prompt {
34         color: White;
35     }
36     /* The command history */
37     .jqconsole-old-prompt {
38         color: White;
39         font-weight: normal;
40     }
41     /* The text color when in input mode. */
42     .jqconsole-input {
43         color: White;
44     }
45     /* Previously entered input. */
46     .jqconsole-old-input {
47         color: White;
48         font-weight: normal;
49     }
50     /* The text color of the output. */
51     .jqconsole-output {
52         color: green;
53     }
54     .jqconsole-return, .jqconsole-header {
55         color: gray;
56     }
57     .jqconsole-error {
58         color: red;
59     }
60 </style>
61   </head>
62   <body>
63     <div id="console"></div>
64     <script src="jquery.js" type="text/javascript" charset="utf-8"></script>
65     <script src="jqconsole.min.js" type="text/javascript" charset="utf-8"></script>
66     <script src="jscl.js" type="text/javascript"></script>
67     <script>
68       var jqconsole = $('#console').jqconsole();
69       lisp.write = function(str){
70            jqconsole.Write(xstring(str), 'jqconsole-output', false);
71            return str;
72       };
73     </script>
74     <script src="tests.js" type="text/javascript"></script>
75   </body>
76 </html>