Re: [isabelle] Isabelle/jEdit: can anybody else reproduce
On Thu, 21 Mar 2013, Alfio Martini wrote:
That happens often with me, but I always thought it was W7´s fault :-)
But I never tried to look more carefully into this.
covers 2 or 3 oddities that are specific to Linux/X11 window management.
I would be very surprised to see the very same effects on W7. Can you be
more specific what is happenening in Windows?
Generally it does not help to sweep problems under the carpet. Issues
that are not reported cannot be addressed.
This archive was generated by a fusion of
Pipermail (Mailman edition) and