# HG changeset patch # User drewp@bigasterisk.com # Date 1717028905 25200 # Node ID f2b3cfcc23d3d9fdb29ed634b37ffa95790b982e # Parent 26f84fc67ab1e624b9afad68ad75ea87354ad32a comment diff -r 26f84fc67ab1 -r f2b3cfcc23d3 web/RdfdbSyncedGraph.ts --- a/web/RdfdbSyncedGraph.ts Wed May 29 17:28:01 2024 -0700 +++ b/web/RdfdbSyncedGraph.ts Wed May 29 17:28:25 2024 -0700 @@ -7,6 +7,12 @@ // Contains a SyncedGraph. Displays as little status box. // Put one element on your page and use getTopGraph everywhere. + +// todo; if you combine some pages and end up with 2+ elems, they still pick a +// leader (and repick if you remove that element). this could make it reasonable +// to have a lot more elems think they're the only ones talking to a graph. +// +// @customElement("rdfdb-synced-graph") export class RdfdbSyncedGraph extends LitElement { @property() graph: SyncedGraph;