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.
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