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

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?


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