tree 3943aef52563a64e62b400e69d6b7c16b82b1c3a
parent a7abd7bf178f398208c1d88c0f67d5a16ddd566e
author Emilio Cobos Álvarez <emilio@crisal.io> 1586461964 +0000
committer jgraham <james@hoppipolla.co.uk> 1586511829 +0100

Repaint selection when safe.

Note that we intentionally don't move the SetDisplaySelection stuff to the
runnables. It would probably be safe enough, but it's not required and it makes
reasoning about this code harder.

Differential Revision: https://phabricator.services.mozilla.com/D70183

bugzilla-url: https://bugzilla.mozilla.org/show_bug.cgi?id=1626291
gecko-commit: a2eb8e771d4536ba70d6a3ddfea83381d68c9b39
gecko-integration-branch: autoland
gecko-reviewers: masayuki