Sounds like a good solution.
(Relativity in action: firing a cursor event by moving the page, not the
mouse :)
Thank you Christiaan!
On 15 May 2021, at 5:35, Christiaan Hofman wrote:
It is really a long standing design flaw in the system that the
notification is not send when the view moves out of the mouse rather
than the mouse out of the view. I’ll add some lines to hide the
preview when the view is scrolled.
Christiaan
On 15 May 2021, at 04:44, XZF <xzf...@gmail.com> wrote:
This happens when the link anchor moves under the static cursor -
e.g. when scrolling with the mouse wheel, which I do all the time.
Then the pop-up will not go away if the mouse is moved, however large
the movement. The pop-up will stay until it times out (or a click or
ESC).
I think this is the mechanism for the majority of the inadvertent
pop-ups in my case, although there may be other contexts. In any
case, I am going to try to disable pop-ups entirely (perhaps the
timeout could be set to zero?)
On 14 May 2021, at 7:26, Schneider, Thomas (NIH/NCI) [E] via
Skim-app-users wrote:
Christiaan:
That is annoying, but there is nothing we can do about tgat, as the
system fails to give us any notification it is supposed to give us.
I see. So it IS a bug but a timing one? Sometimes I act so fast that
the OS cannot report to Skim quickly enough to turn it off?
(I have known about this for a while but hadn't gotten around to
reporting it.)
Tom
_______________________________________________
Skim-app-users mailing list
Skim-app-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/skim-app-users
_______________________________________________
Skim-app-users mailing list
Skim-app-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/skim-app-users
