Re: [isabelle] Emacs 23/PG 4 problems on Mac



>> 3) When I point the mouse on a processed part of the input it becomes
>> highlighted in yellow and displays a "tooltip" frame with info about the
>> underlying object. Inside proofs it shows the proof state at the mouse
>> position. While this looks like a cool new feature in PG4, I would like to
>> be able to turn both the highlighting and the "tooltips" off, when I do not
>> need them. However, I was unable to find an option that achieves this.
> 
> I would also like to be able to turn this feature off.

http://tinyurl.com/pgchap3


-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.






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