Mercurial > code > home > repos > streamed-graph
comparison src/index.ts @ 86:6ec759f9009f
build fixes, dead code, format
author | drewp@bigasterisk.com |
---|---|
date | Thu, 25 Nov 2021 18:15:08 -0800 |
parents | 067d66a45a51 |
children | 955cde1550c3 |
comparison
equal
deleted
inserted
replaced
85:792452c0eb98 | 86:6ec759f9009f |
---|---|
1 import { LitElement, html, css, render, TemplateResult } from "lit"; | 1 import { LitElement, html, render, TemplateResult } from "lit"; |
2 import { customElement, property } from "lit/decorators.js"; | 2 import { customElement, property } from "lit/decorators.js"; |
3 | 3 |
4 import { Store } from "n3"; | 4 import { Store } from "n3"; |
5 | 5 |
6 import { GraphView } from "./graph_view"; | 6 import { GraphView } from "./graph_view"; |
7 import { StreamedGraphClient } from "./streamed_graph_client"; | 7 import { StreamedGraphClient } from "./streamed_graph_client"; |
8 import { style, addFontToRootPage } from './style'; | 8 import { style, addFontToRootPage } from "./style"; |
9 | 9 |
10 // export * from "./graph_queries"; | 10 // export * from "./graph_queries"; |
11 | 11 |
12 export interface VersionedGraph { | 12 export interface VersionedGraph { |
13 version: number; | 13 version: number; |
29 status: string = ""; | 29 status: string = ""; |
30 | 30 |
31 sg!: StreamedGraphClient; | 31 sg!: StreamedGraphClient; |
32 graphViewDirty = true; | 32 graphViewDirty = true; |
33 | 33 |
34 static styles=style; | 34 static styles = style; |
35 | |
35 render() { | 36 render() { |
36 const expandAction = this.expanded ? "-" : "+"; | 37 const expandAction = this.expanded ? "-" : "+"; |
37 return html` | 38 return html` |
38 <div id="ui"> | 39 <div id="ui"> |
39 <span class="expander" | 40 <span class="expander" |
130 } | 131 } |
131 render(tmpl, el); | 132 render(tmpl, el); |
132 } | 133 } |
133 } | 134 } |
134 | 135 |
136 declare global { | |
137 interface HTMLElementTagNameMap { | |
138 "streamed-graph": StreamedGraph; | |
139 } | |
140 } | |
141 | |
135 // // allow child nodes to combine a few graphs and statics | 142 // // allow child nodes to combine a few graphs and statics |
136 // //<streamed-graph id="timebankGraph" graph="{{graph}}" expanded="true"> | 143 // //<streamed-graph id="timebankGraph" graph="{{graph}}" expanded="true"> |
137 // // <member-graph url="graph/timebank/events"></member-graph> | 144 // // <member-graph url="graph/timebank/events"></member-graph> |
138 // // <member-graph url="/some/static.n3"></member-graph> | 145 // // <member-graph url="/some/static.n3"></member-graph> |
139 // //</streamed-graph> | 146 // //</streamed-graph> |