diff options
| author | Sébastien Dailly <sebastien@chimrod.com> | 2021-02-05 10:19:49 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@chimrod.com> | 2021-02-05 10:19:49 +0100 |
| commit | 7bfada96ce711445aae100be69738f71e0071ec2 (patch) | |
| tree | d83e9fbf73d94b1945aab8238e33b5d85b58f2f6 /content/pages/graph-editor.html | |
| parent | 5adb4522c9b7da52494067928875aa4d0d3eb355 (diff) | |
Moved the page Graph Editor in it own subdirectory
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> - |