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 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 820884f8aa - Show all commits

3
src/pages/VisProgPage/visualProgrammingUI/components/WarningSidebar.module.css
View File

@@ -38,6 +38,9 @@
.severity-tab.active {
color: ButtonText;
border: 2px solid currentColor;
.count {
color: ButtonText;
}
}
.warning-group-header {