[isabelle] Isabelle2014-RC3: mouse offset and C-hover issue
with RC3 I have the "offset-issue" again.
This time, and I think that is a first, this also impacts Ctrl-hover
however. Also the wmname trick as e.g. mentioned in
does not help anymore.
To be more precise (I'm on Fedora 20 x86_64 with Gnome): When I start
Isabelle/jEdit for the first time its window does not use the full
screen size (at this point menus and C-hover still works). So I usually
double-click on the title bar in order to make the window as big as the
screen. After that the mouse-pointer has an offset for all menus (i.e.,
I have to point somewhat lower and more to the right of the screen in
order to "hit" with the mouse). That alone would not be so bad. But also
now C-hover does not work anymore. More specifically, the word I point
at is still highlighted by a gray rectangle, as usual, but no popup
With Isabelle2013-2 this issue does not occur (after using the wmname
trick). I did not check with RC1 or RC2 since I did not have them
readily available on my machine.
This archive was generated by a fusion of
Pipermail (Mailman edition) and