@grifhinz/logics-manager 2.3.3 → 2.5.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.
Files changed (15) hide show
  1. package/README.md +8 -1
  2. package/VERSION +1 -1
  3. package/clients/shared-web/media/css/toolbar.css +41 -3
  4. package/clients/shared-web/media/renderMarkdown.js +1 -1
  5. package/clients/shared-web/media/webviewChrome.js +31 -8
  6. package/clients/shared-web/media/webviewSelectors.js +8 -7
  7. package/clients/viewer/browser-host.js +1329 -48
  8. package/clients/viewer/index.html +30 -28
  9. package/clients/viewer/viewer.css +686 -0
  10. package/logics_manager/audit.py +2 -2
  11. package/logics_manager/insights.py +1 -1
  12. package/logics_manager/lint.py +2 -2
  13. package/logics_manager/viewer.py +377 -11
  14. package/package.json +4 -2
  15. package/pyproject.toml +1 -1
package/clients/viewer/index.html CHANGED
@@ -16,13 +16,37 @@
16
16
  <body class="viewer-shell">
17
17
  <header class="viewer-topbar" aria-label="Viewer status">
18
18
  <div>
19
- <div class="viewer-topbar__title">Logics Viewer</div>
19
+ <div class="viewer-topbar__identity">
20
+ <div class="viewer-topbar__title">Logics Viewer</div>
21
+ <span class="viewer-topbar__repo" id="viewer-repo-pill" title="">repository</span>
22
+ </div>
20
23
  <div class="viewer-topbar__meta" id="viewer-meta">Read-only local viewer</div>
21
24
  </div>
22
25
  <div class="viewer-topbar__actions">
26
+ <div class="viewer-refresh-menu">
27
+ <button class="btn" id="viewer-refresh-menu-button" type="button" title="Refresh options" aria-haspopup="menu" aria-expanded="false" aria-controls="viewer-refresh-menu">Refresh</button>
28
+ <div class="viewer-refresh-menu__panel" id="viewer-refresh-menu" role="menu" aria-label="Refresh options" hidden>
29
+ <label class="viewer-auto-refresh" title="Toggle automatic refresh">
30
+ <input id="viewer-auto-refresh" type="checkbox" checked />
31
+ <span>Auto</span>
32
+ </label>
33
+ <label class="viewer-refresh-menu__interval">
34
+ <span>Interval</span>
35
+ <select id="viewer-refresh-interval" aria-label="Automatic refresh interval">
36
+ <option value="5">5 sec</option>
37
+ <option value="10">10 sec</option>
38
+ <option value="15" selected>15 sec</option>
39
+ <option value="30">30 sec</option>
40
+ <option value="60">60 sec</option>
41
+ </select>
42
+ </label>
43
+ <button class="btn" data-action="refresh" type="button" title="Refresh viewer data now">Now</button>
44
+ </div>
45
+ </div>
46
+ <button class="btn" id="viewer-git" type="button" title="Show Git status">Git</button>
47
+ <button class="btn" id="viewer-cdx" type="button" title="Show CDX status">CDX</button>
23
48
  <button class="btn" id="viewer-insights" type="button" title="Show corpus insights">Insights</button>
24
49
  <button class="btn" id="viewer-health" type="button" title="Show lint and audit health">Health</button>
25
- <button class="btn" data-action="refresh" type="button" title="Refresh viewer data">Refresh</button>
26
50
  </div>
27
51
  </header>
28
52
 
@@ -34,28 +58,6 @@
34
58
  <path d="M4 6h16l-6 7v5l-4 2v-7z" fill="none" stroke="currentColor" stroke-width="2" stroke-linejoin="round" stroke-linecap="round" />
35
59
  </svg>
36
60
  </button>
37
- <div class="toolbar__tools">
38
- <button class="toolbar__filter" id="tools-toggle" aria-label="Open tools menu" aria-haspopup="menu" aria-expanded="false" aria-controls="tools-panel" title="Open tools menu">
39
- <svg viewBox="0 0 24 24" aria-hidden="true" focusable="false">
40
- <rect x="5" y="6" width="14" height="2" rx="1" fill="currentColor" />
41
- <rect x="5" y="11" width="14" height="2" rx="1" fill="currentColor" />
42
- <rect x="5" y="16" width="14" height="2" rx="1" fill="currentColor" />
43
- </svg>
44
- </button>
45
- <div class="tools-panel" id="tools-panel" aria-hidden="true" role="menu">
46
- <div class="tools-panel__header">
47
- <div class="tools-panel__header-label">Tools</div>
48
- <button class="tools-panel__close" type="button" data-tools-panel-close aria-label="Close tools menu" title="Close tools menu">x</button>
49
- </div>
50
- <div class="tools-panel__section" data-tools-section="recommended">
51
- <div class="tools-panel__section-label">Read-only</div>
52
- <div class="tools-panel__section-body" data-tools-body="recommended">
53
- <button class="tools-panel__item" type="button" role="menuitem" data-action="refresh" title="Refresh viewer data">Refresh</button>
54
- <button class="tools-panel__item" type="button" role="menuitem" data-action="about" title="Open project page">About</button>
55
- </div>
56
- </div>
57
- </div>
58
- </div>
59
61
  <button class="toolbar__filter toolbar__filter--view" data-action="toggle-view-mode" aria-label="Switch display mode" title="Switch display mode">
60
62
  <svg viewBox="0 0 24 24" aria-hidden="true" focusable="false">
61
63
  <rect x="4" y="5" width="6" height="6" rx="1.5" fill="none" stroke="currentColor" stroke-width="2" />
@@ -67,11 +69,11 @@
67
69
  <button class="toolbar__filter" id="activity-toggle" aria-label="Toggle activity" aria-pressed="false" title="Toggle activity">
68
70
  <svg viewBox="0 0 24 24" aria-hidden="true" focusable="false"><path d="M4 12h4l2.2-5 3.6 10 2.2-5H20" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" /></svg>
69
71
  </button>
70
- <button class="toolbar__filter" id="attention-toggle" aria-label="Show attention required" aria-pressed="false" title="Show attention required">
71
- <svg viewBox="0 0 24 24" aria-hidden="true" focusable="false"><path d="M12 4l8 14H4z" fill="none" stroke="currentColor" stroke-width="2" /><path d="M12 9v4" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" /><circle cx="12" cy="17" r="1" fill="currentColor" /></svg>
72
+ <button class="toolbar__filter" id="activity-clear" aria-label="Clear local activity history" title="Clear local activity history">
73
+ <svg viewBox="0 0 24 24" aria-hidden="true" focusable="false"><path d="M5 7h14" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" /><path d="M9 7V5h6v2" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" /><path d="M8 10v8m4-8v8m4-8v8" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" /></svg>
72
74
  </button>
73
- <button class="toolbar__filter" id="header-logics-insights" aria-label="Open corpus insights" title="Open corpus insights">
74
- <svg viewBox="0 0 24 24" aria-hidden="true" focusable="false"><circle cx="12" cy="12" r="8" fill="none" stroke="currentColor" stroke-width="2" /><path d="M12 10.5v6" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" /><circle cx="12" cy="7.5" r="1" fill="currentColor" /></svg>
75
+ <button class="toolbar__filter" id="attention-toggle" aria-label="Show blocked, orphaned, unprocessed, or inconsistent items" aria-pressed="false" title="Show blocked, orphaned, unprocessed, or inconsistent items">
76
+ <svg viewBox="0 0 24 24" aria-hidden="true" focusable="false"><path d="M12 4l8 14H4z" fill="none" stroke="currentColor" stroke-width="2" /><path d="M12 9v4" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" /><circle cx="12" cy="17" r="1" fill="currentColor" /></svg>
75
77
  </button>
76
78
  </div>
77
79
  <div class="toolbar__search">