aboutsummaryrefslogtreecommitdiff
path: root/content/pages
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-02-05 10:19:49 +0100
committerSébastien Dailly <sebastien@chimrod.com>2021-11-18 14:39:50 +0100
commit9d2e9888b1882f855d7690c0f5cffc20137b10d3 (patch)
tree604f6102152c3c59880499f8197f36f885b0c0ad /content/pages
parentf0723c5a7ff9db68ab428f1aaca91809e8823fac (diff)
Moved the page Graph Editor in it own subdirectory
Diffstat (limited to 'content/pages')
-rwxr-xr-xcontent/pages/graph-editor.html71
-rwxr-xr-xcontent/pages/graph-editor/graph-editor.rst71
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>