annotate web/TiledHome.ts @ 2421:ac55319a2eac

don't drop patches that arrive before we get WS connected
author drewp@bigasterisk.com
date Tue, 21 May 2024 16:10:39 -0700
parents 66a4db80ce6e
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2402
1d3594ffd14b new home-status elt
drewp@bigasterisk.com
parents: 2382
diff changeset
1 import debug from "debug";
1d3594ffd14b new home-status elt
drewp@bigasterisk.com
parents: 2382
diff changeset
2 import * as FlexLayout from "flexlayout-react";
2408
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
3 import { LitElement, TemplateResult, html } from "lit";
2402
1d3594ffd14b new home-status elt
drewp@bigasterisk.com
parents: 2382
diff changeset
4 import { customElement } from "lit/decorators.js";
2374
9d47c44d4ae4 experimental tiled-layout home page
drewp@bigasterisk.com
parents:
diff changeset
5 import * as React from "react";
9d47c44d4ae4 experimental tiled-layout home page
drewp@bigasterisk.com
parents:
diff changeset
6 import { createRoot } from "react-dom/client";
2402
1d3594ffd14b new home-status elt
drewp@bigasterisk.com
parents: 2382
diff changeset
7 import { getTopGraph } from "./RdfdbSyncedGraph";
1d3594ffd14b new home-status elt
drewp@bigasterisk.com
parents: 2382
diff changeset
8 import { SyncedGraph } from "./SyncedGraph";
2408
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
9 import { panelDisplayName, panelElementNames, panelUrl } from "./panels";
2402
1d3594ffd14b new home-status elt
drewp@bigasterisk.com
parents: 2382
diff changeset
10 export { RdfdbSyncedGraph } from "./RdfdbSyncedGraph";
1d3594ffd14b new home-status elt
drewp@bigasterisk.com
parents: 2382
diff changeset
11 const log = debug("home");
2374
9d47c44d4ae4 experimental tiled-layout home page
drewp@bigasterisk.com
parents:
diff changeset
12
9d47c44d4ae4 experimental tiled-layout home page
drewp@bigasterisk.com
parents:
diff changeset
13 // see https://github.com/lit/lit/tree/main/packages/labs/react
9d47c44d4ae4 experimental tiled-layout home page
drewp@bigasterisk.com
parents:
diff changeset
14
2403
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
15 // Store flexlayout panels in per-browser localstorage.
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
16 class PersistentLayout {
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
17 key = "light9.home.layout";
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
18 defaultLayout: FlexLayout.IJsonRowNode = {
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
19 type: "row",
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
20 children: [
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
21 {
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
22 type: "tabset",
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
23 weight: 50,
2408
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
24 children: [{ type: "tab", name: "fade", component: "light9-fade-ui" }],
2403
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
25 },
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
26 {
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
27 type: "tabset",
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
28 weight: 50,
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
29 children: [{ type: "tab", name: "devsettings", component: "light9-device-settings" }],
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
30 },
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
31 ],
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
32 };
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
33 getOrDefault(): FlexLayout.IJsonRowNode {
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
34 let savedLayout = localStorage.getItem(this.key);
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
35 if (savedLayout === null) {
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
36 return this.defaultLayout;
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
37 }
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
38 return JSON.parse(savedLayout);
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
39 }
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
40
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
41 save(layout: FlexLayout.IJsonRowNode) {
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
42 localStorage.setItem(this.key, JSON.stringify(layout));
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
43 }
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
44 }
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
45
2408
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
46 // This lets lit call a method on a react element.
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
47 let addTab: (component: string) => void;
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
48
2374
9d47c44d4ae4 experimental tiled-layout home page
drewp@bigasterisk.com
parents:
diff changeset
49 class Main extends React.Component {
2403
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
50 state: { model: FlexLayout.Model; persistence: PersistentLayout };
2382
40d5a54dec99 ts warnings
drewp@bigasterisk.com
parents: 2376
diff changeset
51 constructor(props: any) {
2374
9d47c44d4ae4 experimental tiled-layout home page
drewp@bigasterisk.com
parents:
diff changeset
52 super(props);
2403
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
53 const persistence = new PersistentLayout();
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
54 const config = {
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
55 global: {
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
56 tabEnableRename: false,
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
57 },
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
58 borders: [],
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
59 layout: persistence.getOrDefault(),
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
60 };
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
61
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
62 this.state = { model: FlexLayout.Model.fromJson(config), persistence: persistence };
2374
9d47c44d4ae4 experimental tiled-layout home page
drewp@bigasterisk.com
parents:
diff changeset
63 }
9d47c44d4ae4 experimental tiled-layout home page
drewp@bigasterisk.com
parents:
diff changeset
64
2382
40d5a54dec99 ts warnings
drewp@bigasterisk.com
parents: 2376
diff changeset
65 factory = (node: any) => {
2374
9d47c44d4ae4 experimental tiled-layout home page
drewp@bigasterisk.com
parents:
diff changeset
66 var component = node.getComponent();
2402
1d3594ffd14b new home-status elt
drewp@bigasterisk.com
parents: 2382
diff changeset
67 return React.createElement(component, null, "");
2374
9d47c44d4ae4 experimental tiled-layout home page
drewp@bigasterisk.com
parents:
diff changeset
68 };
9d47c44d4ae4 experimental tiled-layout home page
drewp@bigasterisk.com
parents:
diff changeset
69
9d47c44d4ae4 experimental tiled-layout home page
drewp@bigasterisk.com
parents:
diff changeset
70 render() {
2408
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
71 addTab = (component) => {
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
72 const name = panelDisplayName(component);
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
73 if (name === undefined) throw new Error("no such panel: " + component);
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
74 const newTab = { type: "tab", name: name, component: component };
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
75 const firstTabSet = this.state.model.getRoot().getChildren()[0];
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
76 const action = FlexLayout.Actions.addNode(newTab, firstTabSet.getId(), FlexLayout.DockLocation.LEFT, 0);
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
77 this.state.model.doAction(action);
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
78 };
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
79
2402
1d3594ffd14b new home-status elt
drewp@bigasterisk.com
parents: 2382
diff changeset
80 return React.createElement(FlexLayout.Layout, {
1d3594ffd14b new home-status elt
drewp@bigasterisk.com
parents: 2382
diff changeset
81 model: this.state.model,
1d3594ffd14b new home-status elt
drewp@bigasterisk.com
parents: 2382
diff changeset
82 realtimeResize: true,
2403
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
83 onModelChange: this.onModelChange.bind(this),
2402
1d3594ffd14b new home-status elt
drewp@bigasterisk.com
parents: 2382
diff changeset
84 factory: this.factory,
1d3594ffd14b new home-status elt
drewp@bigasterisk.com
parents: 2382
diff changeset
85 });
1d3594ffd14b new home-status elt
drewp@bigasterisk.com
parents: 2382
diff changeset
86 }
2403
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
87
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
88 onModelChange() {
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
89 this.state.persistence.save(this.state.model.toJson().layout);
d8950f9b46be store panels layout in localStorage
drewp@bigasterisk.com
parents: 2402
diff changeset
90 }
2402
1d3594ffd14b new home-status elt
drewp@bigasterisk.com
parents: 2382
diff changeset
91 }
1d3594ffd14b new home-status elt
drewp@bigasterisk.com
parents: 2382
diff changeset
92
1d3594ffd14b new home-status elt
drewp@bigasterisk.com
parents: 2382
diff changeset
93 @customElement("light9-home-status")
1d3594ffd14b new home-status elt
drewp@bigasterisk.com
parents: 2382
diff changeset
94 export class Light9HomeStatus extends LitElement {
1d3594ffd14b new home-status elt
drewp@bigasterisk.com
parents: 2382
diff changeset
95 graph!: SyncedGraph;
1d3594ffd14b new home-status elt
drewp@bigasterisk.com
parents: 2382
diff changeset
96 render() {
2408
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
97 return html`
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
98 <rdfdb-synced-graph></rdfdb-synced-graph>
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
99 <a href="metrics/">metrics</a>
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
100 Open tab or new window: ${panelElementNames().map((elem) => this.linkToPanelPage(elem))}
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
101 `;
2402
1d3594ffd14b new home-status elt
drewp@bigasterisk.com
parents: 2382
diff changeset
102 }
2408
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
103
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
104 linkToPanelPage(elem: string): TemplateResult {
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
105 return html`<a @click=${this.onClickPanelLink} data-panel-elem="${elem}" href=${panelUrl(elem)}> ${panelDisplayName(elem)} </a> `;
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
106 }
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
107
2402
1d3594ffd14b new home-status elt
drewp@bigasterisk.com
parents: 2382
diff changeset
108 constructor() {
1d3594ffd14b new home-status elt
drewp@bigasterisk.com
parents: 2382
diff changeset
109 super();
1d3594ffd14b new home-status elt
drewp@bigasterisk.com
parents: 2382
diff changeset
110 getTopGraph().then((g) => {
1d3594ffd14b new home-status elt
drewp@bigasterisk.com
parents: 2382
diff changeset
111 this.graph = g;
1d3594ffd14b new home-status elt
drewp@bigasterisk.com
parents: 2382
diff changeset
112 });
2374
9d47c44d4ae4 experimental tiled-layout home page
drewp@bigasterisk.com
parents:
diff changeset
113 }
2408
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
114
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
115 onClickPanelLink(ev: MouseEvent) {
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
116 ev.preventDefault();
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
117
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
118 const a = ev.target as HTMLAnchorElement;
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
119 const elem = a.dataset.panelElem!;
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
120 addTab(elem);
7e7874fed2e3 buttons to add panels to the layout
drewp@bigasterisk.com
parents: 2404
diff changeset
121 }
2374
9d47c44d4ae4 experimental tiled-layout home page
drewp@bigasterisk.com
parents:
diff changeset
122 }
9d47c44d4ae4 experimental tiled-layout home page
drewp@bigasterisk.com
parents:
diff changeset
123
9d47c44d4ae4 experimental tiled-layout home page
drewp@bigasterisk.com
parents:
diff changeset
124 const root = createRoot(document.getElementById("container")!);
9d47c44d4ae4 experimental tiled-layout home page
drewp@bigasterisk.com
parents:
diff changeset
125 root.render(React.createElement(Main));