When the WebView loses WindowFocus, we stop drawing the selection. We need to resume drawing it, especially for the context menu, which steals WindowFocus. Corresponds to a change in Webkit.
05ebcb51
03255de3
72eb0aca
eb717b9c
040441fa
a013a98f
a1590586
3e3324ba
fbd8f69a
3a15fbd7