pepperplus/pepperplus-ui
1
0
Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases Wiki Activity

feat: The Big One UI #47

Merged
j.gerla merged 115 commits from temp_screenshot_manual into dev 2026-01-28 08:27:30 +00:00
Conversation 10 Commits 115 Files Changed 45 +6 -10
1 changed files with 6 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit b3b77b94ad - Show all commits

16
src/pages/VisProgPage/visualProgrammingUI/EditorWarnings.tsx
View File

@@ -21,17 +21,13 @@ export type EditorWarning = {
};
/**
* either a single warningType, or a scoped warningKey.
*
* supported-scopes:
* - `handle`
* a scoped WarningKey,
* `handleId` is `null` if the warning is not specific to one handle on the node
*/
export type WarningKey =
| WarningType // for warnings that can only occur once per node
| { type: WarningType, handleId: string }; // for warnings that can occur on a per-handle basis
export type WarningKey = { type: WarningType, handleId: string | null }; // for warnings that can occur on a per-handle basis
export type WarningRegistry = Map<NodeId, Map<WarningKey, EditorWarning>>;
export type SeverityIndex = Map<WarningSeverity, Set<string>>;
export type SeverityIndex = Map<WarningSeverity, Set<{ nodeId: NodeId, warningKey: WarningKey}>>;
export type EditorWarningRegistry = {
editorWarningRegistry: WarningRegistry;
@@ -76,8 +72,8 @@ export type EditorWarningRegistry = {
export const editorWarningRegistry : EditorWarningRegistry = {
editorWarningRegistry: new Map<NodeId, Map<WarningKey, EditorWarning>>(),
severityIndex: new Map([
['INFO', new Set<string>()],
['WARNING', new Set<string>()]
['INFO', new Set<{ nodeId: NodeId, warningKey: WarningKey}>()],
['WARNING', new Set<{ nodeId: NodeId, warningKey: WarningKey}>()]
]),
getWarningsBySeverity: (_warningSeverity) => { return []},