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
