[webkit-dev] Selection & CSS Regions

[Manuel Rego Casasnovas]

Hi,

we've been working for a while in selection and CSS Regions.

Current implementation is working fine from the DOM tree point of view,
the retrieved content when you do a selection is right (fulfilling the
editing spec [1]).

However, in several use cases with CSS Regions, highlighted content in
the view does not match with the retrieved one, which is wrong.

We've been thinking in different 2 different approaches to fix this
problem. They're explained in detail in the following wiki page:
https://github.com/Igalia/css-regions-selection/wiki/Selection-&-CSS-Regions

Sorry for the cross posting, but we'd like to know the opinion, doubts
and concerns of editing/selection experts in both projects (WebKit and
Blink) before going further with the implementation.

What do you think? Could any of these approaches be eventually
integrated upstream?

Thank you very much,
   Rego

[1] https://dvcs.w3.org/hg/editing/raw-file/tip/editing.html