diff options
| author | Rodrigo Arias Mallo <rodarima@gmail.com> | 2025-08-31 13:50:05 +0200 |
|---|---|---|
| committer | Rodrigo Arias Mallo <rodarima@gmail.com> | 2025-08-31 14:09:10 +0200 |
| commit | 1d55cf26a355b89a007e4a9bf7361d8a5c2c64cd (patch) | |
| tree | c1851d29b96d05d435a31ca8af108eb21a87b350 /src/keysrc | |
| parent | 47ab7c704f415454fb3c908f9fe0bdebb3239ef3 (diff) | |
Fix hr width exceeding available space
The hr ruler was directly using the available content width to compute
its allocation. However, the width needs to take into account the border
of the hr element (1 pixel on each side) to avoid making the element
larger than the available space.
Co-authored-by: dogma
Diffstat (limited to 'src/keysrc')
0 files changed, 0 insertions, 0 deletions