diff options
| author | thestig <thestig@chromium.org> | 2016-11-14 13:15:47 -0800 |
|---|---|---|
| committer | Commit bot <commit-bot@chromium.org> | 2016-11-14 13:15:47 -0800 |
| commit | c75dcd253d75ea93608410d90a3ce1b605590af0 (patch) | |
| tree | e47cfee1372e505a6b00bbfab7e389371a87627c /tools/drmemory | |
| parent | be83b31dc4f21e7be066ac1093fcd9b6aab058ed (diff) | |
| download | pdfium-c75dcd253d75ea93608410d90a3ce1b605590af0.tar.xz | |
Invalidate a slightly larger rect when updating popup annotations.
It looks like sometimes there are rounding errors in the display
pipeline when displaying / hiding popup annotations. Compensate by
rouding up the damaged rect slightly.
BUG=chromium:662804
Review-Url: https://codereview.chromium.org/2492733002
Diffstat (limited to 'tools/drmemory')
0 files changed, 0 insertions, 0 deletions