comparison src/render/StreamedGraph.ts @ 110:3cdbbd913f1d

table displays now just barely
author drewp@bigasterisk.com
date Fri, 18 Mar 2022 23:41:24 -0700
parents cbcd82d21356
children
comparison
equal deleted inserted replaced
109:cbcd82d21356 110:3cdbbd913f1d
103 async _redrawLater() { 103 async _redrawLater() {
104 if (!this.graphViewDirty) return; 104 if (!this.graphViewDirty) return;
105 105
106 if ((this.graph as VersionedGraph).store && this.graph.store) { 106 if ((this.graph as VersionedGraph).store && this.graph.store) {
107 const vc = new ViewConfig(); 107 const vc = new ViewConfig();
108 if (this.view) {
109 await vc.readFromUrl(this.view); // too often!
110 }
108 111
109 await this._graphAreaShowGraph( 112 await this._graphAreaShowGraph(
110 new GraphView([this.url], this.graph.store, vc) 113 new GraphView([this.url], this.graph.store, vc)
111 ); 114 );
112 this.graphViewDirty = false; 115 this.graphViewDirty = false;