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 +5 -4
1 changed files with 5 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 363054afda - Show all commits

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

@@ -119,10 +119,11 @@ function WarningListItem(props: { warning: EditorWarning }) {
</div> </div>
<div className={styles.meta}> <div className={styles.meta}>
{props.warning.scope.id} {props.warning.type}
{props.warning.scope.handleId && ( {/*{props.warning.scope.id}*/}
<span className={styles.handle}>@{props.warning.scope.handleId}</span> {/*{props.warning.scope.handleId && (*/}
)} {/* <span className={styles.handle}>@{props.warning.scope.handleId}</span>*/}
{/*)}*/}
</div> </div>
</div> </div>
); );