@korajs/devtools 0.1.2 → 0.3.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/extension/background.cjs +1 -1
- package/dist/extension/background.cjs.map +1 -1
- package/dist/extension/background.js +54 -4
- package/dist/extension/background.js.map +1 -1
- package/dist/extension/content-script.cjs +1 -1
- package/dist/extension/content-script.cjs.map +1 -1
- package/dist/extension/content-script.js +1 -1
- package/dist/extension/content-script.js.map +1 -1
- package/dist/extension/devtools.cjs +2 -3
- package/dist/extension/devtools.cjs.map +1 -1
- package/dist/extension/devtools.html +599 -0
- package/dist/extension/devtools.js +2 -3
- package/dist/extension/devtools.js.map +1 -1
- package/dist/extension/manifest.json +1 -1
- package/dist/extension/panel.cjs +1013 -40
- package/dist/extension/panel.cjs.map +1 -1
- package/dist/extension/panel.js +1176 -9
- package/dist/extension/panel.js.map +1 -1
- package/dist/index.cjs +466 -34
- package/dist/index.cjs.map +1 -1
- package/dist/index.d.cts +4 -0
- package/dist/index.d.ts +4 -0
- package/dist/index.js +674 -8
- package/dist/index.js.map +1 -1
- package/package.json +6 -4
- package/dist/chunk-4ZQ2RTZM.js +0 -203
- package/dist/chunk-4ZQ2RTZM.js.map +0 -1
- package/dist/chunk-JH2X4T4Z.js +0 -58
- package/dist/chunk-JH2X4T4Z.js.map +0 -1
package/dist/index.cjs
CHANGED
|
@@ -1,7 +1,9 @@
|
|
|
1
1
|
"use strict";
|
|
2
|
+
var __create = Object.create;
|
|
2
3
|
var __defProp = Object.defineProperty;
|
|
3
4
|
var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
|
|
4
5
|
var __getOwnPropNames = Object.getOwnPropertyNames;
|
|
6
|
+
var __getProtoOf = Object.getPrototypeOf;
|
|
5
7
|
var __hasOwnProp = Object.prototype.hasOwnProperty;
|
|
6
8
|
var __export = (target, all) => {
|
|
7
9
|
for (var name in all)
|
|
@@ -15,6 +17,14 @@ var __copyProps = (to, from, except, desc) => {
|
|
|
15
17
|
}
|
|
16
18
|
return to;
|
|
17
19
|
};
|
|
20
|
+
var __toESM = (mod, isNodeMode, target) => (target = mod != null ? __create(__getProtoOf(mod)) : {}, __copyProps(
|
|
21
|
+
// If the importer is in node compatibility mode or this is not an ESM
|
|
22
|
+
// file that has been converted to a CommonJS file using a Babel-
|
|
23
|
+
// compatible transform (i.e. "__esModule" has not been set), then set
|
|
24
|
+
// "default" to the CommonJS "module.exports" for node compatibility.
|
|
25
|
+
isNodeMode || !mod || !mod.__esModule ? __defProp(target, "default", { value: mod, enumerable: true }) : target,
|
|
26
|
+
mod
|
|
27
|
+
));
|
|
18
28
|
var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
|
|
19
29
|
|
|
20
30
|
// src/index.ts
|
|
@@ -407,7 +417,7 @@ function buildPanelModel(events) {
|
|
|
407
417
|
dependsOn: extractCausalDependencies(entry.event)
|
|
408
418
|
}));
|
|
409
419
|
const conflicts = events.flatMap((entry) => {
|
|
410
|
-
if (entry.event.type !== "merge:completed" && entry.event.type !== "merge:conflict") {
|
|
420
|
+
if (entry.event.type !== "merge:completed" && entry.event.type !== "merge:conflict" && entry.event.type !== "constraint:violated") {
|
|
411
421
|
return [];
|
|
412
422
|
}
|
|
413
423
|
const trace = entry.event.trace;
|
|
@@ -558,40 +568,462 @@ function extractOperation(event) {
|
|
|
558
568
|
}
|
|
559
569
|
|
|
560
570
|
// src/ui/panel.ts
|
|
561
|
-
|
|
562
|
-
|
|
563
|
-
|
|
564
|
-
|
|
565
|
-
|
|
566
|
-
|
|
567
|
-
|
|
568
|
-
|
|
569
|
-
|
|
570
|
-
|
|
571
|
-
|
|
572
|
-
|
|
573
|
-
|
|
574
|
-
|
|
575
|
-
|
|
576
|
-
|
|
577
|
-
|
|
578
|
-
|
|
579
|
-
|
|
580
|
-
|
|
581
|
-
|
|
582
|
-
|
|
583
|
-
|
|
584
|
-
|
|
585
|
-
|
|
586
|
-
|
|
587
|
-
|
|
588
|
-
|
|
589
|
-
|
|
590
|
-
|
|
591
|
-
].
|
|
571
|
+
var import_preact = require("preact");
|
|
572
|
+
var import_hooks = require("preact/hooks");
|
|
573
|
+
var import_htm = __toESM(require("htm"), 1);
|
|
574
|
+
|
|
575
|
+
// src/ui/components.ts
|
|
576
|
+
function formatTime(timestamp) {
|
|
577
|
+
const d = new Date(timestamp);
|
|
578
|
+
const h2 = String(d.getHours()).padStart(2, "0");
|
|
579
|
+
const m = String(d.getMinutes()).padStart(2, "0");
|
|
580
|
+
const s = String(d.getSeconds()).padStart(2, "0");
|
|
581
|
+
const ms = String(d.getMilliseconds()).padStart(3, "0");
|
|
582
|
+
return `${h2}:${m}:${s}.${ms}`;
|
|
583
|
+
}
|
|
584
|
+
function truncate(str, max) {
|
|
585
|
+
if (str.length <= max) return str;
|
|
586
|
+
return str.slice(0, max - 1) + "\u2026";
|
|
587
|
+
}
|
|
588
|
+
function formatValue(value) {
|
|
589
|
+
if (value === null || value === void 0) return "null";
|
|
590
|
+
if (typeof value === "string") return `"${value}"`;
|
|
591
|
+
if (typeof value === "object") return JSON.stringify(value, null, 2);
|
|
592
|
+
return String(value);
|
|
593
|
+
}
|
|
594
|
+
|
|
595
|
+
// src/ui/panel.ts
|
|
596
|
+
var html = import_htm.default.bind(import_preact.h);
|
|
597
|
+
var ALL_CATEGORIES = ["operation", "merge", "sync", "query", "connection"];
|
|
598
|
+
function DevToolsPanel({ events }) {
|
|
599
|
+
const [activeTab, setActiveTab] = (0, import_hooks.useState)("timeline");
|
|
600
|
+
const [search, setSearch] = (0, import_hooks.useState)("");
|
|
601
|
+
const [categories, setCategories] = (0, import_hooks.useState)(
|
|
602
|
+
() => new Set(ALL_CATEGORIES)
|
|
603
|
+
);
|
|
604
|
+
const [expanded, setExpanded] = (0, import_hooks.useState)(() => /* @__PURE__ */ new Set());
|
|
605
|
+
const [paused, setPaused] = (0, import_hooks.useState)(false);
|
|
606
|
+
const toggleCategory = (0, import_hooks.useCallback)(
|
|
607
|
+
(cat) => {
|
|
608
|
+
setCategories((prev) => {
|
|
609
|
+
const next = new Set(prev);
|
|
610
|
+
if (next.has(cat)) next.delete(cat);
|
|
611
|
+
else next.add(cat);
|
|
612
|
+
return next;
|
|
613
|
+
});
|
|
614
|
+
},
|
|
615
|
+
[]
|
|
616
|
+
);
|
|
617
|
+
const toggleExpand = (0, import_hooks.useCallback)(
|
|
618
|
+
(id) => {
|
|
619
|
+
setExpanded((prev) => {
|
|
620
|
+
const next = new Set(prev);
|
|
621
|
+
if (next.has(id)) next.delete(id);
|
|
622
|
+
else next.add(id);
|
|
623
|
+
return next;
|
|
624
|
+
});
|
|
625
|
+
},
|
|
626
|
+
[]
|
|
627
|
+
);
|
|
628
|
+
const filtered = (0, import_hooks.useMemo)(
|
|
629
|
+
() => filterEvents(events, { categories: [...categories] }),
|
|
630
|
+
[events, categories]
|
|
631
|
+
);
|
|
632
|
+
const model = (0, import_hooks.useMemo)(() => buildPanelModel(filtered), [filtered]);
|
|
633
|
+
const stats = (0, import_hooks.useMemo)(() => computeStatistics(events), [events]);
|
|
634
|
+
return html`
|
|
635
|
+
<div class="kora-devtools">
|
|
636
|
+
<${Toolbar}
|
|
637
|
+
activeTab=${activeTab}
|
|
638
|
+
onTabChange=${setActiveTab}
|
|
639
|
+
totalEvents=${events.length}
|
|
640
|
+
conflicts=${stats.mergeConflicts}
|
|
641
|
+
search=${search}
|
|
642
|
+
onSearchChange=${setSearch}
|
|
643
|
+
paused=${paused}
|
|
644
|
+
onPauseToggle=${() => setPaused((p) => !p)}
|
|
645
|
+
onClear=${() => setExpanded(/* @__PURE__ */ new Set())}
|
|
646
|
+
categories=${categories}
|
|
647
|
+
onToggleCategory=${toggleCategory}
|
|
648
|
+
/>
|
|
649
|
+
<div class="kora-content">
|
|
650
|
+
${activeTab === "timeline" && html`<${TimelinePanel}
|
|
651
|
+
items=${model.timeline}
|
|
652
|
+
search=${search}
|
|
653
|
+
expanded=${expanded}
|
|
654
|
+
onToggle=${toggleExpand}
|
|
655
|
+
/>`}
|
|
656
|
+
${activeTab === "conflicts" && html`<${ConflictsPanel}
|
|
657
|
+
items=${model.conflicts}
|
|
658
|
+
search=${search}
|
|
659
|
+
expanded=${expanded}
|
|
660
|
+
onToggle=${toggleExpand}
|
|
661
|
+
/>`}
|
|
662
|
+
${activeTab === "operations" && html`<${OperationsPanel}
|
|
663
|
+
items=${model.operations}
|
|
664
|
+
search=${search}
|
|
665
|
+
expanded=${expanded}
|
|
666
|
+
onToggle=${toggleExpand}
|
|
667
|
+
/>`}
|
|
668
|
+
${activeTab === "network" && html`<${NetworkPanel} network=${model.network} events=${events} />`}
|
|
669
|
+
</div>
|
|
670
|
+
</div>
|
|
671
|
+
`;
|
|
672
|
+
}
|
|
673
|
+
function Toolbar({
|
|
674
|
+
activeTab,
|
|
675
|
+
onTabChange,
|
|
676
|
+
totalEvents,
|
|
677
|
+
conflicts,
|
|
678
|
+
search,
|
|
679
|
+
onSearchChange,
|
|
680
|
+
paused,
|
|
681
|
+
onPauseToggle,
|
|
682
|
+
onClear,
|
|
683
|
+
categories,
|
|
684
|
+
onToggleCategory
|
|
685
|
+
}) {
|
|
686
|
+
const tabs = [
|
|
687
|
+
{ id: "timeline", label: "Timeline", badge: totalEvents },
|
|
688
|
+
{ id: "conflicts", label: "Conflicts", badge: conflicts },
|
|
689
|
+
{ id: "operations", label: "Operations" },
|
|
690
|
+
{ id: "network", label: "Network" }
|
|
691
|
+
];
|
|
692
|
+
return html`
|
|
693
|
+
<div class="kora-toolbar">
|
|
694
|
+
<div class="kora-tabs">
|
|
695
|
+
${tabs.map(
|
|
696
|
+
(tab) => html`
|
|
697
|
+
<button
|
|
698
|
+
class="kora-tab${activeTab === tab.id ? " active" : ""}"
|
|
699
|
+
onClick=${() => onTabChange(tab.id)}
|
|
700
|
+
>
|
|
701
|
+
${tab.label}
|
|
702
|
+
${tab.badge != null && tab.badge > 0 ? html`<span class="kora-badge">${tab.badge}</span>` : null}
|
|
703
|
+
</button>
|
|
704
|
+
`
|
|
705
|
+
)}
|
|
706
|
+
</div>
|
|
707
|
+
<div class="kora-controls">
|
|
708
|
+
<input
|
|
709
|
+
type="text"
|
|
710
|
+
class="kora-search"
|
|
711
|
+
placeholder="Filter..."
|
|
712
|
+
value=${search}
|
|
713
|
+
onInput=${(e) => onSearchChange(e.target.value)}
|
|
714
|
+
/>
|
|
715
|
+
<button class="kora-btn" onClick=${onPauseToggle}>
|
|
716
|
+
${paused ? "Resume" : "Pause"}
|
|
717
|
+
</button>
|
|
718
|
+
<button class="kora-btn" onClick=${onClear}>Clear</button>
|
|
719
|
+
${ALL_CATEGORIES.map(
|
|
720
|
+
(cat) => html`
|
|
721
|
+
<button
|
|
722
|
+
class="kora-cat-toggle${categories.has(cat) ? " active" : ""}"
|
|
723
|
+
onClick=${() => onToggleCategory(cat)}
|
|
724
|
+
>
|
|
725
|
+
${cat}
|
|
726
|
+
</button>
|
|
727
|
+
`
|
|
728
|
+
)}
|
|
729
|
+
</div>
|
|
730
|
+
</div>
|
|
731
|
+
`;
|
|
732
|
+
}
|
|
733
|
+
function TimelinePanel({
|
|
734
|
+
items,
|
|
735
|
+
search,
|
|
736
|
+
expanded,
|
|
737
|
+
onToggle
|
|
738
|
+
}) {
|
|
739
|
+
const lowerSearch = search.toLowerCase();
|
|
740
|
+
const filtered = lowerSearch ? items.filter(
|
|
741
|
+
(i) => i.label.toLowerCase().includes(lowerSearch) || i.type.toLowerCase().includes(lowerSearch)
|
|
742
|
+
) : items;
|
|
743
|
+
const visible = filtered.slice(-200).reverse();
|
|
744
|
+
if (visible.length === 0) {
|
|
745
|
+
return html`<div class="kora-panel"><div class="kora-empty">No events recorded yet.</div></div>`;
|
|
746
|
+
}
|
|
747
|
+
return html`
|
|
748
|
+
<div class="kora-panel kora-timeline">
|
|
749
|
+
<div class="kora-summary">Showing ${visible.length} of ${items.length} events</div>
|
|
750
|
+
<div class="kora-event-list">
|
|
751
|
+
${visible.map(
|
|
752
|
+
(item) => html`
|
|
753
|
+
<div
|
|
754
|
+
key=${item.id}
|
|
755
|
+
class="kora-row${expanded.has(item.id) ? " expanded" : ""}"
|
|
756
|
+
onClick=${() => onToggle(item.id)}
|
|
757
|
+
>
|
|
758
|
+
<span class="kora-time">${formatTime(item.receivedAt)}</span>
|
|
759
|
+
<span class="kora-dot" style="background:${item.color}"></span>
|
|
760
|
+
<span class="kora-type">${item.type}</span>
|
|
761
|
+
<span class="kora-label">${item.label}</span>
|
|
762
|
+
${item.dependsOn.length > 0 ? html`<span class="kora-deps">deps: ${item.dependsOn.length}</span>` : null}
|
|
763
|
+
</div>
|
|
764
|
+
${expanded.has(item.id) ? html`
|
|
765
|
+
<div class="kora-detail">
|
|
766
|
+
<div>
|
|
767
|
+
<span class="kora-detail-label">Event ID:</span> ${item.id}
|
|
768
|
+
</div>
|
|
769
|
+
<div>
|
|
770
|
+
<span class="kora-detail-label">Received:</span>
|
|
771
|
+
${new Date(item.receivedAt).toISOString()}
|
|
772
|
+
</div>
|
|
773
|
+
${item.dependsOn.length > 0 ? html`<div>
|
|
774
|
+
<span class="kora-detail-label">Causal deps:</span>
|
|
775
|
+
${item.dependsOn.join(", ")}
|
|
776
|
+
</div>` : null}
|
|
777
|
+
</div>
|
|
778
|
+
` : null}
|
|
779
|
+
`
|
|
780
|
+
)}
|
|
781
|
+
</div>
|
|
782
|
+
</div>
|
|
783
|
+
`;
|
|
784
|
+
}
|
|
785
|
+
function ConflictsPanel({
|
|
786
|
+
items,
|
|
787
|
+
search,
|
|
788
|
+
expanded,
|
|
789
|
+
onToggle
|
|
790
|
+
}) {
|
|
791
|
+
const lowerSearch = search.toLowerCase();
|
|
792
|
+
const filtered = lowerSearch ? items.filter(
|
|
793
|
+
(i) => i.collection.toLowerCase().includes(lowerSearch) || i.field.toLowerCase().includes(lowerSearch) || i.strategy.toLowerCase().includes(lowerSearch)
|
|
794
|
+
) : items;
|
|
795
|
+
const visible = filtered.slice(-100).reverse();
|
|
796
|
+
if (visible.length === 0) {
|
|
797
|
+
return html`<div class="kora-panel"><div class="kora-empty">No merge conflicts detected.</div></div>`;
|
|
798
|
+
}
|
|
799
|
+
return html`
|
|
800
|
+
<div class="kora-panel kora-conflicts">
|
|
801
|
+
<div class="kora-summary">
|
|
802
|
+
${items.length} conflict${items.length !== 1 ? "s" : ""}
|
|
803
|
+
</div>
|
|
804
|
+
<table class="kora-table">
|
|
805
|
+
<thead>
|
|
806
|
+
<tr>
|
|
807
|
+
<th>Time</th>
|
|
808
|
+
<th>Collection</th>
|
|
809
|
+
<th>Field</th>
|
|
810
|
+
<th>Strategy</th>
|
|
811
|
+
<th>Tier</th>
|
|
812
|
+
<th>Result</th>
|
|
813
|
+
</tr>
|
|
814
|
+
</thead>
|
|
815
|
+
<tbody>
|
|
816
|
+
${visible.map(
|
|
817
|
+
(item) => html`
|
|
818
|
+
<tr
|
|
819
|
+
key=${item.id}
|
|
820
|
+
class="kora-conflict-row${item.constraintViolated ? " violated" : ""}${expanded.has(item.id) ? " expanded" : ""}"
|
|
821
|
+
onClick=${() => onToggle(item.id)}
|
|
822
|
+
>
|
|
823
|
+
<td>${formatTime(item.timestamp)}</td>
|
|
824
|
+
<td>${item.collection}</td>
|
|
825
|
+
<td class="kora-mono">${item.field}</td>
|
|
826
|
+
<td>
|
|
827
|
+
<span class="kora-strategy tier-${item.tier}">${item.strategy}</span>
|
|
828
|
+
</td>
|
|
829
|
+
<td>${item.tier}</td>
|
|
830
|
+
<td class="kora-mono">${truncate(String(item.output), 30)}</td>
|
|
831
|
+
</tr>
|
|
832
|
+
${expanded.has(item.id) ? html`
|
|
833
|
+
<tr class="kora-detail-row">
|
|
834
|
+
<td colspan="6">
|
|
835
|
+
<div class="kora-conflict-detail">
|
|
836
|
+
<div class="kora-comparison">
|
|
837
|
+
<div class="kora-value-box">
|
|
838
|
+
<div class="kora-value-label">Input A (local)</div>
|
|
839
|
+
<pre class="kora-value-code">
|
|
840
|
+
${formatValue(item.inputA)}</pre
|
|
841
|
+
>
|
|
842
|
+
</div>
|
|
843
|
+
<div class="kora-value-box">
|
|
844
|
+
<div class="kora-value-label">Input B (remote)</div>
|
|
845
|
+
<pre class="kora-value-code">
|
|
846
|
+
${formatValue(item.inputB)}</pre
|
|
847
|
+
>
|
|
848
|
+
</div>
|
|
849
|
+
<div class="kora-value-box result">
|
|
850
|
+
<div class="kora-value-label">Result</div>
|
|
851
|
+
<pre class="kora-value-code">
|
|
852
|
+
${formatValue(item.output)}</pre
|
|
853
|
+
>
|
|
854
|
+
</div>
|
|
855
|
+
</div>
|
|
856
|
+
${item.constraintViolated ? html`<div class="kora-constraint-warning">
|
|
857
|
+
Constraint violated: ${item.constraintViolated}
|
|
858
|
+
</div>` : null}
|
|
859
|
+
</div>
|
|
860
|
+
</td>
|
|
861
|
+
</tr>
|
|
862
|
+
` : null}
|
|
863
|
+
`
|
|
864
|
+
)}
|
|
865
|
+
</tbody>
|
|
866
|
+
</table>
|
|
867
|
+
</div>
|
|
868
|
+
`;
|
|
592
869
|
}
|
|
593
|
-
function
|
|
594
|
-
|
|
870
|
+
function OperationsPanel({
|
|
871
|
+
items,
|
|
872
|
+
search,
|
|
873
|
+
expanded,
|
|
874
|
+
onToggle
|
|
875
|
+
}) {
|
|
876
|
+
const lowerSearch = search.toLowerCase();
|
|
877
|
+
const filtered = lowerSearch ? items.filter(
|
|
878
|
+
(i) => i.collection.toLowerCase().includes(lowerSearch) || i.recordId.toLowerCase().includes(lowerSearch) || i.operationId.toLowerCase().includes(lowerSearch) || i.opType.toLowerCase().includes(lowerSearch)
|
|
879
|
+
) : items;
|
|
880
|
+
const visible = filtered.slice(-200).reverse();
|
|
881
|
+
if (visible.length === 0) {
|
|
882
|
+
return html`<div class="kora-panel"><div class="kora-empty">No operations recorded yet.</div></div>`;
|
|
883
|
+
}
|
|
884
|
+
return html`
|
|
885
|
+
<div class="kora-panel kora-operations">
|
|
886
|
+
<div class="kora-summary">
|
|
887
|
+
Showing ${visible.length} of ${items.length} operations
|
|
888
|
+
</div>
|
|
889
|
+
<div class="kora-op-list">
|
|
890
|
+
${visible.map(
|
|
891
|
+
(item) => html`
|
|
892
|
+
<div
|
|
893
|
+
key=${item.id}
|
|
894
|
+
class="kora-op-row${expanded.has(item.id) ? " expanded" : ""}"
|
|
895
|
+
onClick=${() => onToggle(item.id)}
|
|
896
|
+
>
|
|
897
|
+
<span class="kora-time">${formatTime(item.timestamp)}</span>
|
|
898
|
+
<span class="kora-op-type op-${item.opType}">${item.opType}</span>
|
|
899
|
+
<span class="kora-op-collection">${item.collection}</span>
|
|
900
|
+
<span class="kora-op-record kora-mono"
|
|
901
|
+
>${truncate(item.recordId, 12)}</span
|
|
902
|
+
>
|
|
903
|
+
<span class="kora-op-node">node:${truncate(item.nodeId, 8)}</span>
|
|
904
|
+
<span class="kora-op-seq">#${item.sequenceNumber}</span>
|
|
905
|
+
</div>
|
|
906
|
+
${expanded.has(item.id) ? html`
|
|
907
|
+
<div class="kora-op-detail">
|
|
908
|
+
<div>
|
|
909
|
+
<span class="kora-detail-label">Operation ID:</span>
|
|
910
|
+
<span class="kora-mono">${item.operationId}</span>
|
|
911
|
+
</div>
|
|
912
|
+
<div>
|
|
913
|
+
<span class="kora-detail-label">Node:</span>
|
|
914
|
+
<span class="kora-mono">${item.nodeId}</span>
|
|
915
|
+
</div>
|
|
916
|
+
<div>
|
|
917
|
+
<span class="kora-detail-label">Sequence:</span>
|
|
918
|
+
${item.sequenceNumber}
|
|
919
|
+
</div>
|
|
920
|
+
${item.causalDeps.length > 0 ? html`<div>
|
|
921
|
+
<span class="kora-detail-label">Causal deps:</span>
|
|
922
|
+
<span class="kora-mono"
|
|
923
|
+
>${item.causalDeps.join(", ")}</span
|
|
924
|
+
>
|
|
925
|
+
</div>` : null}
|
|
926
|
+
${item.data ? html`<div>
|
|
927
|
+
<div class="kora-detail-label">Data:</div>
|
|
928
|
+
<pre class="kora-value-code">
|
|
929
|
+
${JSON.stringify(item.data, null, 2)}</pre
|
|
930
|
+
>
|
|
931
|
+
</div>` : null}
|
|
932
|
+
</div>
|
|
933
|
+
` : null}
|
|
934
|
+
`
|
|
935
|
+
)}
|
|
936
|
+
</div>
|
|
937
|
+
</div>
|
|
938
|
+
`;
|
|
939
|
+
}
|
|
940
|
+
function NetworkPanel({
|
|
941
|
+
network,
|
|
942
|
+
events
|
|
943
|
+
}) {
|
|
944
|
+
const statusClass = network.connected ? "connected" : "disconnected";
|
|
945
|
+
const statusText = network.connected ? network.quality ? `Connected (${network.quality})` : "Connected" : "Disconnected";
|
|
946
|
+
const syncEvents = events.filter((e) => {
|
|
947
|
+
const cat = eventTypeToCategory(e.event.type);
|
|
948
|
+
return cat === "sync" || cat === "connection";
|
|
949
|
+
}).slice(-50).reverse();
|
|
950
|
+
return html`
|
|
951
|
+
<div class="kora-panel kora-network">
|
|
952
|
+
<div class="kora-network-status">
|
|
953
|
+
<div class="kora-status-indicator ${statusClass}">
|
|
954
|
+
<span class="kora-status-dot"></span>
|
|
955
|
+
<span class="kora-status-text">${statusText}</span>
|
|
956
|
+
</div>
|
|
957
|
+
</div>
|
|
958
|
+
|
|
959
|
+
<div class="kora-stats-grid">
|
|
960
|
+
<${StatCard} label="Sent" value=${String(network.sentOps)} unit="ops" />
|
|
961
|
+
<${StatCard} label="Received" value=${String(network.receivedOps)} unit="ops" />
|
|
962
|
+
<${StatCard} label="Pending" value=${String(network.pendingAcks)} unit="acks" />
|
|
963
|
+
<${StatCard}
|
|
964
|
+
label="Last Sync"
|
|
965
|
+
value=${network.lastSyncAt ? formatTime(network.lastSyncAt) : "never"}
|
|
966
|
+
/>
|
|
967
|
+
</div>
|
|
968
|
+
|
|
969
|
+
${network.versionVector.length > 0 ? html`
|
|
970
|
+
<div class="kora-vv-section">
|
|
971
|
+
<h3>Version Vector</h3>
|
|
972
|
+
<table class="kora-table kora-vv-table">
|
|
973
|
+
<thead>
|
|
974
|
+
<tr>
|
|
975
|
+
<th>Node</th>
|
|
976
|
+
<th>Sequence</th>
|
|
977
|
+
</tr>
|
|
978
|
+
</thead>
|
|
979
|
+
<tbody>
|
|
980
|
+
${network.versionVector.map(
|
|
981
|
+
(entry) => html`
|
|
982
|
+
<tr key=${entry.nodeId}>
|
|
983
|
+
<td class="kora-mono">${truncate(entry.nodeId, 16)}</td>
|
|
984
|
+
<td>${entry.sequenceNumber}</td>
|
|
985
|
+
</tr>
|
|
986
|
+
`
|
|
987
|
+
)}
|
|
988
|
+
</tbody>
|
|
989
|
+
</table>
|
|
990
|
+
</div>
|
|
991
|
+
` : null}
|
|
992
|
+
|
|
993
|
+
${syncEvents.length > 0 ? html`
|
|
994
|
+
<div class="kora-sync-log">
|
|
995
|
+
<h3>Recent Sync Activity</h3>
|
|
996
|
+
<div class="kora-event-list">
|
|
997
|
+
${syncEvents.map(
|
|
998
|
+
(entry) => html`
|
|
999
|
+
<div key=${entry.id} class="kora-row compact">
|
|
1000
|
+
<span class="kora-time"
|
|
1001
|
+
>${formatTime(entry.receivedAt)}</span
|
|
1002
|
+
>
|
|
1003
|
+
<span class="kora-type">${entry.event.type}</span>
|
|
1004
|
+
</div>
|
|
1005
|
+
`
|
|
1006
|
+
)}
|
|
1007
|
+
</div>
|
|
1008
|
+
</div>
|
|
1009
|
+
` : null}
|
|
1010
|
+
</div>
|
|
1011
|
+
`;
|
|
1012
|
+
}
|
|
1013
|
+
function StatCard({
|
|
1014
|
+
label,
|
|
1015
|
+
value,
|
|
1016
|
+
unit
|
|
1017
|
+
}) {
|
|
1018
|
+
return html`
|
|
1019
|
+
<div class="kora-stat-card">
|
|
1020
|
+
<div class="kora-stat-value">${value}</div>
|
|
1021
|
+
<div class="kora-stat-label">${label}${unit ? ` (${unit})` : ""}</div>
|
|
1022
|
+
</div>
|
|
1023
|
+
`;
|
|
1024
|
+
}
|
|
1025
|
+
function renderDevtoolsPanel(target, events) {
|
|
1026
|
+
(0, import_preact.render)(html`<${DevToolsPanel} events=${events} />`, target);
|
|
595
1027
|
}
|
|
596
1028
|
|
|
597
1029
|
// src/extension/port-router.ts
|