mirror of
https://github.com/rstudio/shiny.git
synced 2026-04-29 03:00:45 -04:00
84 lines
2.3 KiB
HTML
84 lines
2.3 KiB
HTML
<!DOCTYPE html>
|
|
<html>
|
|
<head>
|
|
<link href='https://fonts.googleapis.com/css?family=Source+Sans+Pro:200,400,600' rel='stylesheet' type='text/css'>
|
|
<link rel="stylesheet" type="text/css" href="rlog/rlog.css">
|
|
<style>
|
|
#cyto {
|
|
width: 100%;
|
|
height: 100%;
|
|
position: absolute;
|
|
left: 0;
|
|
top: 0;
|
|
z-index: 999;
|
|
}
|
|
</style>
|
|
|
|
<script src="https://ajax.googleapis.com/ajax/libs/jquery/1.10.1/jquery.min.js"></script>
|
|
|
|
<script src="https://unpkg.com/lodash@4.17.10/lodash.js"></script>
|
|
<script src="https://unpkg.com/heap@0.2.6/lib/heap.js"></script>
|
|
<script>
|
|
window.lodash = _;
|
|
window["lodash.debounce"] = _.debounce;
|
|
window.heap = Heap;
|
|
</script>
|
|
<script src="https://unpkg.com/cytoscape@3.2.11/dist/cytoscape.cjs.js"></script>
|
|
<script src="https://unpkg.com/dagre@0.8.2/dist/dagre.js"></script>
|
|
<script src="https://unpkg.com/cytoscape-dagre@2.2.1/cytoscape-dagre.js"></script>
|
|
|
|
|
|
|
|
<script src="rlog/default_log.js"></script>
|
|
<script src="rlog/react_graph.js"></script>
|
|
<!-- <script src="rlog/rlog.js"></script> -->
|
|
</head>
|
|
|
|
<body>
|
|
<svg>
|
|
<defs>
|
|
<marker id="triangle"
|
|
viewBox="0 0 10 10"
|
|
refX="5" refY="5"
|
|
markerWidth="6"
|
|
markerHeight="6"
|
|
orient="auto">
|
|
<path d="M 10 0 L 0 5 L 10 10 z" />
|
|
</marker>
|
|
<pattern id="diagonalHatch" patternUnits="userSpaceOnUse" width="1" height="1">
|
|
<path stroke="black" stroke-width="0.25" fill="none"
|
|
d="M-1,1 l2,-2
|
|
M0,4 l4,-4
|
|
M3,5 l2,-2" />
|
|
</pattern>
|
|
</defs>
|
|
<!-- <g id="viz" transform="scale(4)"> -->
|
|
<g id="viz">
|
|
<g id="links"></g>
|
|
<g id="nodes"></g>
|
|
</g>
|
|
</svg>
|
|
<div id="cyto">
|
|
</div>
|
|
|
|
<div id="instructions">
|
|
Press right-arrow to advance
|
|
</div>
|
|
<div id="ended" style="display: none;">
|
|
<strong>You’ve reached the end</strong><br/>Press the Home key to start over
|
|
</div>
|
|
<div id="legend">
|
|
<div class="color normal"></div> Normal<br/>
|
|
<div class="color invalidated"></div> Invalidated<br/>
|
|
<div class="color running"></div> Running<br/>
|
|
</div>
|
|
<br/>
|
|
<pre id="description"><br/></pre>
|
|
<div id="timeline">
|
|
<div id="timeline-bg">
|
|
<div id="timeline-fill"></div>
|
|
</div>
|
|
</div>
|
|
</body>
|
|
</html>
|