Re: mouse-drag-and-drop-region

[martin rudalics]

> Thanks.  I resend you yet another revised version which mostly fixes the
> doc-strings of these options and replaces the option
> `mouse-drag-and-drop-region-face' with a face
> `mouse-drag-and-drop-region' inheriting from the region face.  Please
> have a look.  Unless you or someone else sees problems, I will install
> it.

The version I attached had a silly bug.  Please use the one I attach
now.

martin

mouse.el.diff
Description: Text document