blob: 2c4952ec05986f3022e3c87de89b441adc158d71 (
plain)
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
108
|
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>Graph editor</title>
<style>
#app {
display: flex;
display: -webkit-flex;
flex-direction: column;
-webkit-flex-direction: column;
position: absolute;
top: 0;
left: 0;
width: 100%;
height: 100%;
}
#panes {
display: flex;
display: -webkit-flex;
flex: 1 1 auto;
-webkit-flex: 1 1 auto;
}
#graph {
display: flex;
display: -webkit-flex;
flex-direction: column;
-webkit-flex-direction: column;
}
#output {
flex: 1 1 auto;
-webkit-flex: 1 1 auto;
position: relative;
overflow: auto;
}
#editor {
width : 40%;
border-right: 1px solid #ccc;
}
#output svg {
top: 0;
left: 0;
width: 100%;
height: 100%;
}
#output #text {
font-size: 12px;
white-space: pre;
position: absolute;
top: 0;
left: 0;
width: 100%;
height: 100%;
overflow: auto;
}
#output.working svg, #output.error svg,
#output.working #text, #output.error #text,
#output.working img, #output.error img {
opacity: 0.4;
}
#output.error #error {
display: inherit;
}
.split {
-webkit-box-sizing: border-box;
-moz-box-sizing: border-box;
box-sizing: border-box;
overflow-y: auto;
overflow-x: hidden;
}
.split.split-horizontal, .gutter.gutter-horizontal {
height: 100%;
float: left;
}
</style>
</head>
<body>
<div id="app">
<div id="panes" class="split split-horizontal">
<textarea id="editor"></textarea>
<div id="graph" class="split">
<div id="output">
<button id="dot_output">Export DOT</button>
<button id="png_output">Export PNG</button>
<button id="btn_window">Isoler</button>
<div id="svg"></div>
</div>
</div>
</div>
</div>
<script src="convert.js"></script>
</body>
</html>
|