| Summary: | Thickness of URL underlines is not rounded to be pixel-aligned when using fractional scaling | ||
|---|---|---|---|
| Product: | [Applications] konsole | Reporter: | 1107309266 |
| Component: | general | Assignee: | Konsole Developer <konsole-devel> |
| Status: | CONFIRMED --- | ||
| Severity: | minor | CC: | nate |
| Priority: | NOR | ||
| Version: | 20.08.3 | ||
| Target Milestone: | --- | ||
| Platform: | Debian testing | ||
| OS: | Linux | ||
| Latest Commit: | Version Fixed In: | ||
| Attachments: | screenshots | ||
|
Description
1107309266
2020-12-09 12:05:28 UTC
This is a scaling artifact. By using a 125% scale factor, you told Konsole to make everything 125% bigger, but the physical pixels in your screen didn't become 125% bigger. As a result, everything that was previously pixel-aligned--like the underline--can no longer be pixel-aligned. If we rounded the line's thickness to always be pixel-aligned, then when using a 125% scale factor, it would be rounded down and appear thinner than originally intended, but it would be pixel-aligned again. When using a 175% scale factor, it would be rounded up and appear thicker than originally intended. When using a 150% scale factor... what would it do? Become substantially thinner or thicker than expected? Which one? I guess we would have to choose one. An argument can be made that rounding to be thicker or thinner than intended may be better than letting the system do what it's currently doing and varying based on pixel positioning. Perhaps we can look into it. |