diff make-dist @ 87933:1c868d4c8354

(delete-selection-pre-hook): Avoid clearing out pre-command-hook when text is read-only.
author Martin Rudalics <rudalics@gmx.at>
date Thu, 24 Jan 2008 09:46:08 +0000
parents 01f002639254
children fa454b3c5b7b c70e45a7acfd
line wrap: on
line diff