diff options
Diffstat (limited to 'content/pages/graph-editor.html')
-rwxr-xr-x | content/pages/graph-editor.html | 71 |
1 files changed, 0 insertions, 71 deletions
diff --git a/content/pages/graph-editor.html b/content/pages/graph-editor.html deleted file mode 100755 index 7186589..0000000 --- a/content/pages/graph-editor.html +++ /dev/null @@ -1,71 +0,0 @@ -<!DOCTYPE html> -<html> - <head> - <meta name="status" content="hidden" /> - <title>Graph editor</title> - </head> - <body> - <style> - - #app { - width: 100%; - height: 100%; - overflow: hidden; - } - - #panes { - display: flex; - width: 100%; - } - - #graph { - flex: 1; - width: 50%; - } - - - #editor { - border-right: 1px solid #ccc; - flex: 1; - } - - #output svg { top: 0; left: 0; width: 100%; height: 100%; } - - </style> - - <div id="app"> - <button id="dot_output">Export DOT</button> - <button id="png_output">Export PNG</button> - <button id="btn_window">Isoler</button> - <div id="panes" class="split split-horizontal"> - <textarea id="editor">g1 - Nom - - - propriété 1 <-> g2:2 - propriété 2 - -g2 - Autre - - - propriété 1 - encore une autre <i>entrée</i> - autre champ -> g1:3 retour - -g3 - Dernier élément - - - ligne 2 - ligne 3</textarea> - <div id="graph" class="split"> - <div id="output"> - <div id="svg"></div> - </div> - </div> - </div> - </div> - - <script src="{static}/resources/viz.js/download.js"></script> - <script src="{static}/resources/viz.js/convert.js"></script> - </body> -</html> - |