After playing with the recent PDF updates, we noticed two problems: 1. The TextIdentifier (yellow highlights) shown when displaying a definition for a word were slightly offset. 2. Zooming out the PDF so that multiple pages were shown in the same WebView caused improper display of the dictionary overlay.
<rdar://problem/20702215>
Created attachment 251799 [details] Patch
Comment on attachment 251799 [details] Patch View in context: https://bugs.webkit.org/attachment.cgi?id=251799&action=review > Source/WebKit2/WebProcess/WebPage/mac/WebPageMac.mm:625 > + // Based on TextIndicator implementation: > + CGFloat verticalMargin = 2.5; > + CGFloat horizontalMargin = 0.5; We should (separately) figure out a way to make this not be copied into clients who aren't TextIndicator
Committed r183447: <http://trac.webkit.org/changeset/183447>