Hi,
if you would like the virtual cursor of the vcursor package being
visible also inside the locked region you can put the following
as fix into your .emacs:
(defadvice vcursor-move (after vcursor-overlay-set-priority activate)
"Set a high priority for the vcursor overlay to make the vcursor visible
in looked regions of Proof General."
(and vcursor-overlay
(overlay-put vcursor-overlay 'priority 1000)))
Bye,
Hendrik
PS. See also http://debbugs.gnu.org/cgi/bugreport.cgi?bug=9663
_______________________________________________
ProofGeneral-devel mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
