diff src/render/StreamedGraph.ts @ 109:cbcd82d21356

cleanup
author drewp@bigasterisk.com
date Fri, 18 Mar 2022 12:00:33 -0700
parents 5e6840229a05
children 3cdbbd913f1d
line wrap: on
line diff
--- a/src/render/StreamedGraph.ts	Fri Mar 18 11:57:38 2022 -0700
+++ b/src/render/StreamedGraph.ts	Fri Mar 18 12:00:33 2022 -0700
@@ -1,14 +1,10 @@
-import { LitElement, html, render, TemplateResult } from "lit";
+import { html, LitElement, render, TemplateResult } from "lit";
 import { customElement, property } from "lit/decorators.js";
-
 import { Store } from "n3";
-
+import { StreamedGraphClient } from "../layout/StreamedGraphClient";
+import { ViewConfig } from "../layout/ViewConfig";
 import { GraphView } from "./GraphView";
-import { StreamedGraphClient } from "../layout/StreamedGraphClient";
-import { style, addFontToRootPage } from "./style";
-import { ViewConfig } from "../layout/ViewConfig";
-
-// export * from "./graph_queries";
+import { addFontToRootPage, style } from "./style";
 
 export interface VersionedGraph {
   version: number;
@@ -72,7 +68,7 @@
 
   redrawGraph() {
     this.graphViewDirty = true;
-    const rl: ()=>Promise<void> = this._redrawLater.bind(this)
+    const rl: () => Promise<void> = this._redrawLater.bind(this);
     requestAnimationFrame(rl);
   }
 
@@ -108,8 +104,7 @@
     if (!this.graphViewDirty) return;
 
     if ((this.graph as VersionedGraph).store && this.graph.store) {
-
-      const vc = new ViewConfig()
+      const vc = new ViewConfig();
 
       await this._graphAreaShowGraph(
         new GraphView([this.url], this.graph.store, vc)