mirror of
https://github.com/servo/servo
synced 2026-05-15 11:26:50 +02:00
An empty selection range should be treated the same as no selection. Fixes browserhtml/browserhtml#930.
An empty selection range should be treated the same as no selection. Fixes browserhtml/browserhtml#930.