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 +9 -3
1 changed files with 9 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 64dcdc49b3 - Show all commits

12
src/pages/VisProgPage/visualProgrammingUI/components/WarningSidebar.tsx
View File

@@ -85,7 +85,10 @@ function WarningsList(props: { warnings: EditorWarning[] }) {
<div className={styles.warningGroupHeader}>global:</div> <div className={styles.warningGroupHeader}>global:</div>
<div className={styles.warningsList}> <div className={styles.warningsList}>
{splitWarnings.global.map((warning) => ( {splitWarnings.global.map((warning) => (
<WarningListItem warning={warning} /> <WarningListItem warning={warning} key={`${warning.scope.id}|${warning.type}` + warning.scope.handleId
? `:${warning.scope.handleId}`
: ""}
/>
))} ))}
{splitWarnings.global.length === 0 && "No global warnings!"} {splitWarnings.global.length === 0 && "No global warnings!"}
</div> </div>
@@ -94,7 +97,10 @@ function WarningsList(props: { warnings: EditorWarning[] }) {
<div className={styles.warningGroupHeader}>other:</div> <div className={styles.warningGroupHeader}>other:</div>
<div className={styles.warningsList}> <div className={styles.warningsList}>
{splitWarnings.other.map((warning) => ( {splitWarnings.other.map((warning) => (
<WarningListItem warning={warning} /> <WarningListItem warning={warning} key={`${warning.scope.id}|${warning.type}` + warning.scope.handleId
? `:${warning.scope.handleId}`
: ""}
/>
))} ))}
{splitWarnings.other.length === 0 && "No other warnings!"} {splitWarnings.other.length === 0 && "No other warnings!"}
</div> </div>
@@ -103,7 +109,7 @@ function WarningsList(props: { warnings: EditorWarning[] }) {
); );
} }
function WarningListItem(props: { warning: EditorWarning }) { function WarningListItem(props: { warning: EditorWarning, key: string}) {
const jumpToNode = useJumpToNode(); const jumpToNode = useJumpToNode();
return ( return (