diff options
| author | Sebastian Rasmussen <sebras@gmail.com> | 2013-07-30 12:26:51 +0200 |
|---|---|---|
| committer | Sebastian Rasmussen <sebras@gmail.com> | 2013-08-24 23:38:01 +0200 |
| commit | 67af59cf866f9be06f8b51d6fac7572c3458f5ce (patch) | |
| tree | 647d083d99caccc829fdfbb7e5a12b60932fa95c /source/xps | |
| parent | 1d06fc68e8f3da0b639629b5af67e2fa682fcd30 (diff) | |
| download | mupdf-67af59cf866f9be06f8b51d6fac7572c3458f5ce.tar.xz | |
Cancel page timeout when searching in x11 viewer.
The scenario is that the user first displayed the page number (visible
for two seconds) and then searched while the page number was still
visible. The page number was automatically cleared when entering search
text, but the timeout for clearing the page number was never cancelled.
This caused an unnecessary redraw of the window while the search text
was still being edited.
Diffstat (limited to 'source/xps')
0 files changed, 0 insertions, 0 deletions