comparison src/render/StreamedGraph.ts @ 108:5e6840229a05

rewrite freeStatements rendering to put more planning in layout
author drewp@bigasterisk.com
date Fri, 18 Mar 2022 11:57:38 -0700
parents 042bd3361339
children cbcd82d21356
comparison
equal deleted inserted replaced
107:042bd3361339 108:5e6840229a05
4 import { Store } from "n3"; 4 import { Store } from "n3";
5 5
6 import { GraphView } from "./GraphView"; 6 import { GraphView } from "./GraphView";
7 import { StreamedGraphClient } from "../layout/StreamedGraphClient"; 7 import { StreamedGraphClient } from "../layout/StreamedGraphClient";
8 import { style, addFontToRootPage } from "./style"; 8 import { style, addFontToRootPage } from "./style";
9 import { ViewConfig } from "../layout/ViewConfig";
9 10
10 // export * from "./graph_queries"; 11 // export * from "./graph_queries";
11 12
12 export interface VersionedGraph { 13 export interface VersionedGraph {
13 version: number; 14 version: number;
105 106
106 async _redrawLater() { 107 async _redrawLater() {
107 if (!this.graphViewDirty) return; 108 if (!this.graphViewDirty) return;
108 109
109 if ((this.graph as VersionedGraph).store && this.graph.store) { 110 if ((this.graph as VersionedGraph).store && this.graph.store) {
111
112 const vc = new ViewConfig()
113
110 await this._graphAreaShowGraph( 114 await this._graphAreaShowGraph(
111 new GraphView(this.url, this.view, this.graph.store) 115 new GraphView([this.url], this.graph.store, vc)
112 ); 116 );
113 this.graphViewDirty = false; 117 this.graphViewDirty = false;
114 } else { 118 } else {
115 this._graphAreaShowPending(); 119 this._graphAreaShowPending();
116 } 120 }