Re: [isabelle] Remaining reasons for Proof General


Am Montag, den 11.11.2013, 17:45 +0100 schrieb René Neumann:
> - jEdit is SLOW, as in: There is a noticeable lag when moving from one
> menu to the other per mouse (rendering also consumes 50% to 100% of
> one CPU).

I just tried to switch to the GTK theme and it made the UI feel much
more sluggish. Maybe you can try the default Nimbus theme and compare?


Dipl.-Math. Dipl.-Inform. Joachim Breitner
Wissenschaftlicher Mitarbeiter

Attachment: signature.asc
Description: This is a digitally signed message part

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