Re: [isabelle] Remaining reasons for Proof General



Am 12.11.2013 16:37, schrieb Joachim Breitner:
> 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?
> 

Yeah, I have switched to Nimbus here. It still is not the most
responsive UI, but it is in an acceptable range.

- René

-- 
René Neumann

Institut für Informatik (I7)
Technische Universität München
Boltzmannstr. 3
85748 Garching b. München

Tel: +49-89-289-17232
Office: MI 03.11.055

Attachment: smime.p7s
Description: S/MIME Kryptografische Unterschrift



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