-
Notifications
You must be signed in to change notification settings - Fork 2
/
index.html
37 lines (33 loc) · 1.31 KB
/
index.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
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<title>Jel</title>
<link rel="stylesheet" href="css/codemirror.css" type="text/css" media="screen">
<link rel="stylesheet" href="css/bootstrap.css" type="text/css" media="screen">
<link rel="stylesheet" href="css/jstree/jstree.min.css" type="text/css" media="screen">
<link rel="stylesheet" href="css/style.css" type="text/css" media="screen">
<link rel="stylesheet" href="css/scrollbar.css" type="text/css" media="screen">
<link rel="stylesheet" href="css/raphael.pan-zoom.css" type="text/css" media="screen">
<script type="text/javascript" src="lib/jel/jel.js"></script>
<script data-main="js/main" src="lib/require/require.js"></script>
</head>
<body>
<div id="menu"></div>
<div id="dialog"></div>
<div id="notification"></div>
<div id="middle">
<div id="palette"><div id="paletteheader"><h5>Palette</h5></div></div>
<div id="tab"></div>
<div id="container">
<div id="main" ondragover="event.preventDefault()"></div>
<div id="dsl"></div>
</div>
<div id="rightMenu">
<div id="treeheader"><h5>Tree</h5></div>
<div id="tree" class="jstree jstree-1 jstree-default jstree-default-responsive"></div>
<div id="properties"></div>
<div id="anteprimaheader"><h5>Anteprima</h5></div>
<div id="anteprima"></div>
</div>
</div>
</body>
</html>