diff --git a/docs/graph.html b/docs/graph.html
index 5962988..14c6d20 100644
--- a/docs/graph.html
+++ b/docs/graph.html
@@ -6,17 +6,17 @@
@@ -999,7 +999,7 @@ const allEdges = [
},
{
"from": 66,
- "to": 71,
+ "to": 74,
"arrows": "to"
},
{
@@ -1009,12 +1009,7 @@ const allEdges = [
},
{
"from": 66,
- "to": 67,
- "arrows": "to"
- },
- {
- "from": 66,
- "to": 74,
+ "to": 69,
"arrows": "to"
},
{
@@ -1024,7 +1019,7 @@ const allEdges = [
},
{
"from": 66,
- "to": 69,
+ "to": 71,
"arrows": "to"
},
{
@@ -1032,6 +1027,11 @@ const allEdges = [
"to": 92,
"arrows": "to"
},
+ {
+ "from": 66,
+ "to": 67,
+ "arrows": "to"
+ },
{
"from": 70,
"to": 82,
@@ -1089,12 +1089,12 @@ const allEdges = [
},
{
"from": 87,
- "to": 82,
+ "to": 77,
"arrows": "to"
},
{
"from": 87,
- "to": 77,
+ "to": 76,
"arrows": "to"
},
{
@@ -1104,7 +1104,7 @@ const allEdges = [
},
{
"from": 87,
- "to": 76,
+ "to": 82,
"arrows": "to"
},
{
@@ -1114,12 +1114,12 @@ const allEdges = [
},
{
"from": 91,
- "to": 73,
+ "to": 90,
"arrows": "to"
},
{
"from": 91,
- "to": 90,
+ "to": 73,
"arrows": "to"
},
{
@@ -1142,6 +1142,11 @@ const allEdges = [
"to": 85,
"arrows": "to"
},
+ {
+ "from": 96,
+ "to": 85,
+ "arrows": "to"
+ },
{
"from": 96,
"to": 82,
@@ -1153,8 +1158,8 @@ const allEdges = [
"arrows": "to"
},
{
- "from": 96,
- "to": 85,
+ "from": 97,
+ "to": 96,
"arrows": "to"
},
{
@@ -1164,7 +1169,7 @@ const allEdges = [
},
{
"from": 97,
- "to": 96,
+ "to": 94,
"arrows": "to"
},
{
@@ -1177,11 +1182,6 @@ const allEdges = [
"to": 95,
"arrows": "to"
},
- {
- "from": 97,
- "to": 94,
- "arrows": "to"
- },
{
"from": 98,
"to": 82,
@@ -1272,6 +1272,17 @@ const groups = {
}
};
+// Size the graph container to fill below the toolbar
+function sizeGraph() {
+ const tb = document.getElementById('toolbar');
+ const g = document.getElementById('graph');
+ const h = tb.getBoundingClientRect().height;
+ g.style.top = h + 'px';
+ g.style.height = (window.innerHeight - h) + 'px';
+}
+sizeGraph();
+window.addEventListener('resize', () => { sizeGraph(); if (window._network) window._network.redraw(); });
+
const nodesDS = new vis.DataSet(allNodes);
const edgesDS = new vis.DataSet(allEdges);
@@ -1305,6 +1316,7 @@ const options = {
};
const network = new vis.Network(container, { nodes: nodesDS, edges: edgesDS }, options);
+window._network = network;
// Info count
document.getElementById('info').textContent =
diff --git a/scripts/gen_graph.py b/scripts/gen_graph.py
index c96932c..262d0ca 100644
--- a/scripts/gen_graph.py
+++ b/scripts/gen_graph.py
@@ -380,17 +380,17 @@ def write_visjs(data: dict) -> Path:
@@ -418,6 +418,17 @@ const allNodes = {json.dumps(nodes, indent=2)};
const allEdges = {json.dumps(edges, indent=2)};
const groups = {json.dumps(groups, indent=2)};
+// Size the graph container to fill below the toolbar
+function sizeGraph() {{
+ const tb = document.getElementById('toolbar');
+ const g = document.getElementById('graph');
+ const h = tb.getBoundingClientRect().height;
+ g.style.top = h + 'px';
+ g.style.height = (window.innerHeight - h) + 'px';
+}}
+sizeGraph();
+window.addEventListener('resize', () => {{ sizeGraph(); if (window._network) window._network.redraw(); }});
+
const nodesDS = new vis.DataSet(allNodes);
const edgesDS = new vis.DataSet(allEdges);
@@ -451,6 +462,7 @@ const options = {{
}};
const network = new vis.Network(container, {{ nodes: nodesDS, edges: edgesDS }}, options);
+window._network = network;
// Info count
document.getElementById('info').textContent =