[isabelle] Proof General 4+emacs 23.2: delete-selection-mode



Hello,
I'm experiencing problems with delete-selection-mode in the PG version shipped with the 2011-release of Isabelle.
I'm using emacs 23.2.1.

delete-selection-mode simply does not work, i.e. hitting the <delete> key does not delete the selection, independent of the state of the delete-selection-mode option.
When starting emacs without proof general, everything works fine.

Has anyone a similar problem. Do you know a workaround?

Best,
 Peter





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.