Menu

#393 Mouse shape stuck at the zoomed state when a page is flipped

incorrect behaviour
open
nobody
None
5
2015-01-21
2015-01-12
ZWang
No

When the left mouse clicks and hold on a page, xdvik will magnify the text under the mouse cursor. This is correct. However, at this point, namely before the mouse button is released, if the page is turned, using keyboard shortcut "back-page" or "forward-page", then the mouse shape is stuck at the zoomed picture and has no way of returning to the regular shape.

Discussion

  • ZWang

    ZWang - 2015-01-13

    The workaround I have is to put the following to reload file

    xdvi.mouseTranslations: <btn1down>:reread-dvi-file()</btn1down>

    or the following to disable the action

    xdvi.mouseTranslations: <btn1down>:</btn1down>

     
  • Paul Vojta

    Paul Vojta - 2015-01-14

    I can't reproduce this bug.
    Can you tell me what version of xdvi you are using?
    Also, can you describe the cursor shapes before and after the actions you describe?
    Thank you.

     
  • ZWang

    ZWang - 2015-01-16

    The output of "xdvi -version" is as follows:

    "xdvik version 22.87 (Xaw toolkit)
    Libraries: kpathsea version 6.2.0dev, freetype version 2.5.3"

    To reproduce it, use any DVI file that is more than 1 page. I attached a small test.tex file, which will produce a DVI file after compiling. Then

    1) run xdvi test.dvi
    2) Press and hold the mouse Button 1 (left button). This produces the magnified box, as shown in one of the screen shot, with PAGE 1 text.
    3) At this point, before releasing the button, if a forward-page(1) action is called by pressing a key such as <return> or 'f', then the page will advance to next one (correctly), but the magnifier stays, as shown in the other screenshot, with PAGE 2 text.</return>

    After 3) xdvi will no longer respond to mouse click events. Mouse movement still magnifies parts of the text. Keyboard events are still processed - so that 'q' will quit the program, and I can go back and forth. But the magnifier will stay on no matter what.

     
  • Paul Vojta

    Paul Vojta - 2015-01-21

    Thank you for your reply.

    I see now that when you said, "mouse shape," you really meant the magnifier (which in reality is a popup window).

    So yes, I see the bug now.

     

Log in to post a comment.