-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex3.html
107 lines (103 loc) · 4.51 KB
/
index3.html
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
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
<!DOCTYPE html>
<html>
<head>
<title>C--</title>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<link rel="stylesheet" href="bower_components/xterm.js/dist/xterm.css" />
<script src="bower_components/ace-builds/src/ace.js" type="text/javascript" charset="utf-8"></script>
<!--<script src="bower_components/xterm.js/dist/xterm.js"></script>-->
<script type="text/javascript" src="bower_components/jquery/dist/jquery.min.js"></script>
<script type="text/javascript" src="bower_components/bootstrap/dist/js/bootstrap.min.js"></script>
<script src="js/jquery.menu.js"></script>
<link rel="stylesheet" href="bower_components/bootstrap/dist/css/bootstrap.min.css">
<link rel="stylesheet" href="bower_components/bootstrap/dist/css/bootstrap-theme.min.css">
<link rel="stylesheet" href="css/main.css">
<link href="css/menu.css" rel="stylesheet" type="text/css" />
<script src="js/main.min.js"></script>
</head>
<body>
<div class="row navbar-fixed-top row-bordered" style="margin: 0px; width: 100%; height: 30px; background-color: lightgrey;">
<div id="menu-bar">
<ul class="main-menu">
<li>File
<ul>
<li>New</li>
<li>Load...</li>
<li>
Load example
<span class="caret caret-right"></span>
<ul id="sample-list">
<li><a href="#" data-value="default_template">Default template</a></li>
<li><a href="#" data-value="bars">Bars</a></li>
<li><a href="#" data-value="hanoi">Hanoi towers</a></li>
<li><a href="#" data-value="rombes">Rombes</a></li>
<li><a href="#" data-value="escacs">Escacs</a></li>
<li><a href="#" data-value="gcd">GCD</a></li>
</ul>
</li>
<li>Save to disk</li>
<li>Create snipped</li>
<li><a href="https://www.google.com">Exit</a></li>
</ul>
</li>
<li>Execute
<ul>
<li id="run">
Run
</li>
<li id="kill">
Kill
</li>
</ul>
</li>
<li>Debug
</li>
<li>About</li>
</ul><!-- end mainmenu -->
</div>
</div>
<div class="container" style="margin-top: 10px;">
<div class="row">
<div class="col-xs-6 col-md-6">
<div class="panel panel-default">
<div class="panel-body">
<div class="form-group">
<div class="form-control" id="editor" rows="20"></div>
</div>
</div>
</div>
</div>
<div class="row">
<div class="col-xs-6 col-md-6">
<div class="panel panel-default">
<ul class="nav nav-tabs" role="tablist">
<li class="active"><a href="#inspector" aria-controls="inspector"
role="tab" data-toggle="tab">Inspector</a></li>
<li><a href="#debugger" aria-controls="debugger"
role="tab" data-toggle="tab">Debugger</a></li>
</ul>
<div class="tab-content">
<div role="tabpanel" class="tab-pane active" id="inspector">This is content</div>
<div role="tabpanel" class="tab-pane" id="debugger">This is good content</div>
</div>
<div class="clearfix"></div>
</div>
</div>
</div>
<div class="row">
<div class="panel panel-default">
<div id="terminal" class="row"></div>
</div>
</div>
</div>
</div>
<script>
$('#myTabs a').click(function (e) {
e.preventDefault();
$(this).tab('show');
});
</script>
<script src="js/terminal.js"></script>
</body>