-
Notifications
You must be signed in to change notification settings - Fork 196
/
httpdd.fsm.html
29 lines (29 loc) · 1.33 KB
/
httpdd.fsm.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
<!doctype html>
<html>
<head>
<title>HTTP Decision Diagram</title>
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/jointjs/0.8.1/joint.css"></link>
<script>
// fix Chrome 48+
// http://jointjs.com/blog/get-transform-to-element-polyfill.html
SVGElement.prototype.getTransformToElement = SVGElement.prototype.getTransformToElement || function(toElement) {
return toElement.getScreenCTM().inverse().multiply(this.getScreenCTM());
};
</script>
<!-- <script src="http://coffeescript.org/extras/coffee-script.js"></script> -->
<script src="coffee-script.js"></script>
<!-- <script src="https://cdnjs.cloudflare.com/ajax/libs/jointjs/0.8.1/joint.all.js"></script> -->
<script src="joint.all.js"></script>
<!-- <script src="https://cdnjs.cloudflare.com/ajax/libs/jointjs/0.8.1/joint.shapes.fsa.js"></script> -->
<script src="joint.shapes.fsa.js"></script>
<script type="text/coffeescript" src="httpdd.fsm.html.coffee"></script>
</head>
<body style="margin:0">
<div id="foreword" style="position:absolute; padding:5px; display:none">
<button id="to_png">Open as PNG</button>
<button id="to_jpeg">Open as JPEG</button>
<button id="to_svg">Open as SVG</button>
</div>
<div id="paper" style="pointer-events: none"></div>
</body>
</html>