Subject: Re: bug#7077: 24.0.50; mouse-drag-copy-region - name should say copy as kill

From: Chong Yidong <[email-masked]>
Date: Sun, 03 Jul 2011 14:38:22 -0400

"Drew Adams" <[email-masked]> writes:

> Option names are important, including for finding the options in the
> first place.  We have a mechanism for renaming: create an alias and
> declare the old name deprecated/obsolete.  Nothing new here.

The improvement is too marginal to justify a rename + obsolete
declaration.