grid: adding a new URI range now handles overlapping URIs

If the URI being added overlaps with pre-existing URIs, the
pre-existing URIs are either removed, split or truncated, depending on
_how_ they overlap.

Closes #801
This commit is contained in:
Daniel Eklöf 2021-11-19 19:59:26 +01:00
parent 7522c2d211
commit e9d6ec2a87
No known key found for this signature in database
GPG key ID: 5BBD4992C116573F
2 changed files with 120 additions and 0 deletions

View file

@ -53,6 +53,8 @@
* Regression: `pipe-*` key bindings not being parsed correctly,
resulting in invalid error messages
(https://codeberg.org/dnkl/foot/issues/809).
* Incorrect handling of one OSC-8 URI overwriting another OSC-8 URI
(https://codeberg.org/dnkl/foot/issues/801).
### Security