Re: [isabelle] Remaining reasons for Proof General



Hi,

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?

Greetings,
Joachim

-- 
Dipl.-Math. Dipl.-Inform. Joachim Breitner
Wissenschaftlicher Mitarbeiter
http://pp.ipd.kit.edu/~breitner

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



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