> BTW, can you explain, way cursor-in-non-selected-windows is
> customizable while cursor-type is not?

No.  I'm not very familiar with this part of the code, so you might want
to M-x report-emacs-bug and ask to make it customizable.


        Stefan
_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to