@grifhinz/logics-manager 2.5.2 → 2.7.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 (11) hide show
  1. package/VERSION +1 -1
  2. package/clients/shared-web/media/css/layout.css +6 -0
  3. package/clients/viewer/browser-host.js +898 -68
  4. package/clients/viewer/index.html +48 -22
  5. package/clients/viewer/viewer.css +536 -8
  6. package/logics_manager/assist.py +1 -0
  7. package/logics_manager/flow.py +6 -2
  8. package/logics_manager/lint.py +11 -7
  9. package/logics_manager/viewer.py +603 -14
  10. package/package.json +1 -1
  11. package/pyproject.toml +1 -1
package/clients/viewer/index.html CHANGED
@@ -18,35 +18,56 @@
18
18
  <div>
19
19
  <div class="viewer-topbar__identity">
20
20
  <div class="viewer-topbar__title">Logics Viewer</div>
21
- <span class="viewer-topbar__repo" id="viewer-repo-pill" title="">repository</span>
21
+ <div class="viewer-project-switcher" id="viewer-project-switcher">
22
+ <button class="viewer-topbar__repo viewer-project-switcher__button" id="viewer-repo-pill" type="button" title="" aria-haspopup="menu" aria-expanded="false" aria-controls="viewer-project-menu">
23
+ <span data-viewer-project-label>repository</span>
24
+ <span class="viewer-project-switcher__chevron" aria-hidden="true">v</span>
25
+ </button>
26
+ <div class="viewer-project-switcher__menu" id="viewer-project-menu" role="menu" aria-label="Known projects" hidden></div>
27
+ </div>
28
+ <span class="viewer-topbar__repo-actions" id="viewer-repo-actions" aria-label="Repository shortcuts">
29
+ <a class="viewer-topbar__repo-action" id="viewer-repo-github" href="#" target="_blank" rel="noreferrer" title="Open GitHub repository" aria-label="Open GitHub repository" hidden>
30
+ <svg viewBox="0 0 24 24" aria-hidden="true" focusable="false"><path d="M9 19c-4.2 1.2-4.2-2-6-2.4m12 4.4v-3.5c0-1 .1-1.4-.5-2 2-.2 4.1-1 4.1-4.6 0-1-.4-1.9-1-2.6.1-.3.4-1.3-.1-2.6 0 0-.8-.3-2.7 1a9.3 9.3 0 0 0-4.9 0c-1.8-1.3-2.7-1-2.7-1-.5 1.3-.2 2.3-.1 2.6a3.8 3.8 0 0 0-1 2.6c0 3.6 2.1 4.4 4.1 4.6-.5.5-.7 1-.7 1.9V21" fill="none" stroke="currentColor" stroke-width="1.8" stroke-linecap="round" stroke-linejoin="round" /></svg>
31
+ </a>
32
+ <button class="viewer-topbar__repo-action" id="viewer-repo-folder" type="button" title="Open repository folder" aria-label="Open repository folder" hidden>
33
+ <svg viewBox="0 0 24 24" aria-hidden="true" focusable="false"><path d="M3.5 6.5h6l2 2H20.5v9a2 2 0 0 1-2 2h-13a2 2 0 0 1-2-2z" fill="none" stroke="currentColor" stroke-width="1.8" stroke-linejoin="round" /><path d="M3.5 8.5h17" fill="none" stroke="currentColor" stroke-width="1.8" stroke-linecap="round" /></svg>
34
+ </button>
35
+ </span>
22
36
  </div>
23
37
  <div class="viewer-topbar__meta" id="viewer-meta">Read-only local viewer</div>
24
38
  </div>
25
39
  <div class="viewer-topbar__actions">
40
+ <button class="btn" id="viewer-git" type="button" title="Show Git status">Git</button>
41
+ <button class="btn" id="viewer-ci" type="button" title="Show GitHub Actions CI status" hidden>CI</button>
42
+ <button class="btn" id="viewer-cdx" type="button" title="Show CDX status">CDX</button>
26
43
  <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
+ <button class="btn" id="viewer-refresh-menu-button" type="button" title="Viewer settings" aria-haspopup="menu" aria-expanded="false" aria-controls="viewer-refresh-menu">Settings</button>
45
+ <div class="viewer-refresh-menu__panel" id="viewer-refresh-menu" role="menu" aria-label="Viewer settings" hidden>
46
+ <section class="viewer-settings-menu__section" aria-label="Refresh settings">
47
+ <div class="viewer-settings-menu__heading">Refresh</div>
48
+ <label class="viewer-auto-refresh" title="Toggle automatic refresh">
49
+ <input id="viewer-auto-refresh" type="checkbox" checked />
50
+ <span>Auto</span>
51
+ </label>
52
+ <label class="viewer-refresh-menu__interval">
53
+ <span>Interval</span>
54
+ <select id="viewer-refresh-interval" aria-label="Automatic refresh interval">
55
+ <option value="5">5 sec</option>
56
+ <option value="10">10 sec</option>
57
+ <option value="15" selected>15 sec</option>
58
+ <option value="30">30 sec</option>
59
+ <option value="60">60 sec</option>
60
+ </select>
61
+ </label>
62
+ <button class="btn" data-action="refresh" type="button" title="Refresh viewer data now">Refresh now</button>
63
+ </section>
64
+ <section class="viewer-settings-menu__section" aria-label="Viewer utilities">
65
+ <div class="viewer-settings-menu__heading">Utilities</div>
66
+ <button class="btn" id="viewer-insights" type="button" title="Show corpus insights">Insights</button>
67
+ <button class="btn" id="viewer-health" type="button" title="Show lint and audit health">Health</button>
68
+ </section>
44
69
  </div>
45
70
  </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>
48
- <button class="btn" id="viewer-insights" type="button" title="Show corpus insights">Insights</button>
49
- <button class="btn" id="viewer-health" type="button" title="Show lint and audit health">Health</button>
50
71
  </div>
51
72
  </header>
52
73
 
@@ -172,6 +193,11 @@
172
193
  <code id="viewer-update-command"></code>
173
194
  </div>
174
195
 
196
+ <div class="viewer-connection" id="viewer-connection" role="status" hidden>
197
+ <span id="viewer-connection-copy"></span>
198
+ <span class="viewer-connection__detail" id="viewer-connection-detail"></span>
199
+ </div>
200
+
175
201
  <div class="layout" id="layout">
176
202
  <main class="layout__main" id="layout-main">
177
203
  <div class="board" id="board"></div>