diff options
Diffstat (limited to 'content/pages')
-rwxr-xr-x | content/pages/graph-editor.html | 71 | ||||
-rwxr-xr-x | content/pages/graph-editor/graph-editor.rst | 71 |
2 files changed, 71 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> - diff --git a/content/pages/graph-editor/graph-editor.rst b/content/pages/graph-editor/graph-editor.rst new file mode 100755 index 0000000..d5785a4 --- /dev/null +++ b/content/pages/graph-editor/graph-editor.rst @@ -0,0 +1,71 @@ + +Graph editor +============ + +:status: hidden +:save_as: pages/graph-editor/index.html +:url: pages/graph-editor/ + +.. raw:: html + + <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> |