Re: [isabelle] Isabelle2014-RC3: mouse offset and C-hover issue

Agreed. Anyway, I'll check whether it really is wmname. If I could only remember what the "offending" wmname was ...

- chris

On 08/20/2014 07:34 PM, Makarius wrote:
On Wed, 20 Aug 2014, Makarius wrote:

On Tue, 19 Aug 2014, Christian Sternagel wrote:

 I did not try your suggestion with OpenJDK yet since the issue
 with RC4, but I'll keep it in mind for the future.

Strange.  I had tried it with Isabelle2014-RC4 myself, and doing this
again the problem is still there -- using the "latest" Fedora 20
Heisenbug version, according to the update manager.

The difference is probably due to wmname, which I did not manage to
install on Fedora.

If it works for you with that workaround, we can declare this thread
closed, presuming that it is somehow subsumed by the Oracle announcement
of jdk-7u67: "This release addresses a regression introduced in the most
recent security update."  The officially documented regression is quite
different, but who knows how many unofficial changes there are.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.