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



> 4) There seem to be some bugs in PG 4 by which
> - the command processing gets out of sync (previously rare), indicated by the highlighting ending in the middle of a syntactic token or input sentence,

If you can repeat this, please report the bug at http://proofgeneral.inf.ed.ac.uk/trac

> - the highlighting is not properly removed and some bits of processed input stay yellow, after the mouse is moved away.

Sounds likely to be a Emacs display engine bug rather than PG.  Try searching/reporting at 
http://debbugs.gnu.org/

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