-
-
Notifications
You must be signed in to change notification settings - Fork 2.6k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Button highlight doesn't respect rounded corners #8806
Comments
Please explain your rationale for suggesting rounded corners. E.g.: Does it fix a bug or is it more about fashion? |
@claell are you sure you want to leave this open? Currently there are more issues than pull requests and more issues than developers can fix. Since that is so, I would suggest fixing this during one of the larger reworks of the UI. For example, when replacing JavaFX with something else. I get that fixing this would make JabRef more beautiful, but there are so many other issues open that deserve working on and solving this issue does not really change anything when working with JabRef apart from that tiny little "feeling of satisfaction" you get when looking at rounded corners... |
Speaking for me, I got slightly annoyed by it. Since this is an issue, I suggest leaving it open, priority can be set accordingly. Possibly it is also not that hard to fix. |
Seems as this can be fixed in here: jabref/src/main/java/org/jabref/gui/Base.css Line 320 in 6a2332f
Adding |
Hi, could I be able to work on this issue if nobody is working on it? |
@june-hong yes, that'd be appreciated! |
JabRef version
5.6 (latest release)
Operating system
Windows
Details on version and operating system
Windows 10
Checked with the latest development build
Steps to reproduce the behaviour
Appendix
Problem marked in yellow.
The text was updated successfully, but these errors were encountered: