Fix for issue 8806: Button highlights doesn't respect rounded corners #9320
Merged
calixtus merged 5 commits intoJabRef:mainfrom june-hong:fix-for-issue-8806Oct 30, 2022
+2-1
Commits
Commits on Oct 28, 2022
Commits on Oct 29, 2022
Commits on Oct 30, 2022
- authored
