blob: bb39f9e13d10b41513e08bbed255527ea4345671 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
<html>
<head>
<script src="https://ajax.googleapis.com/ajax/libs/prototype/1.7.1.0/prototype.js"></script>
<script type="text/javascript" src="http://codemirror.net/lib/codemirror.js"></script>
<link rel="stylesheet" href="http://codemirror.net/lib/codemirror.css">
<link rel="stylesheet" href="http://codemirror.net/theme/lesser-dark.css">
<script type="text/javascript" src="http://codemirror.net/mode/clike/clike.js"></script>
<script type="text/javascript" src="nor.js"></script>
<link rel=stylesheet type="text/css" href="nor.css">
<script type="text/javascript">
function init(){
var submitid;
submitid = nor_getparam().submitid;
new Ajax.Request('status_viewcode.php',{
method:'post',
parameters:{'submitid':submitid},
onSuccess:function(transport){
var res;
var code;
var e_codemirror;
res = transport.responseText;
if(res[0] == 'E'){
code = '錯誤';
}else{
code = JSON.parse(res).code;
}
e_codemirror = CodeMirror(document.body,{
mode:'text/x-c++src',
theme:'lesser-dark',
lineNumbers:true,
matchBrackets:true,
indentUnit:4,
value:code
});
e_codemirror.getWrapperElement().style.width = '100%';
e_codemirror.getWrapperElement().style.height = '100%';
e_codemirror.getScrollerElement().style.width = '100%';
e_codemirror.getScrollerElement().style.height = '100%';
}
});
}
</script>
</head>
<body style="width:100%; height:100%; margin:0px 0px;" onload='init();'></body>
</html>
|
