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

WIP: Draft: feat: added editor warning system and more user feedback #45

Closed
j.gerla wants to merge 43 commits from feat/editor-user-feedback into dev
pull from: feat/editor-user-feedback
merge into: pepperplus:dev
Conversation 27 Commits 43 Files Changed 27 +3 -1
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 9d2f5127c1 - Show all commits

4
src/pages/VisProgPage/visualProgrammingUI/components/EditorWarnings.tsx
View File

@@ -187,7 +187,9 @@ export function editorWarningRegistry(get: ZustandGet, set: ZustandSet) : Editor
// remove from severity index
if (nodeWarnings) {
nodeWarnings.forEach((warning) => {
const warningKey = `${warning.type}:${warning.scope.handleId}`;
const warningKey = warning.scope.handleId
? `${warning.type}:${warning.scope.handleId}`
: warning.type;
sIndex.get(warning.severity)?.delete(`${id}|${warningKey}`);
});
}