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
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to