[webkit-reviews] review requested: [Bug 31142] DOM tree selection disappears upon page refresh : [Attachment 44041] [PATCH] Proposed fix

[bugzilla-daemon at webkit.org]

Pavel Feldman <pfeldman at chromium.org> has asked  for review:
Bug 31142: DOM tree selection disappears upon page refresh
https://bugs.webkit.org/show_bug.cgi?id=31142

Attachment 44041: [PATCH] Proposed fix
https://bugs.webkit.org/attachment.cgi?id=44041&action=review