Open EfogDev opened 3 weeks ago
Hey @EfogDev thank you for testing v13! I'm not happy how the current solution handles rounded borders tbh, they are basically hardcoded. The most I can do is to guess the radius. I'm working on scaling it based on the monitor's scaling factor.
The telegram app I'm using has different border radius than yours. Which scaling factor do you have set?
It is 2x on the screenshot (I wonder if you mean fractional scaling)
I get the radius being incorrect on some apps like Discord as above, but I get even worse borders on some other applications such as Chrome/Edge:
Gnome 42.9 Wayland (Pop 22.04) v28 installed via extension manager
Update: Dragging floating window from one monitor to another always seems to fix the border. But maximising/restoring breaks it
@domferr do you believe there is some universal solution that can be applied to any window? AFAIK its not only the scaling factor that matters; windows itself may not have border radius at all.
Describe the bug For some windows, there's an inconsistency between window borders and the extension outline. The app is
telegram-desktop
.To Reproduce Steps to reproduce the behavior:
Screenshots
Information (please complete the following):