GNU bug report logs - #56418
Add duplicate-dwim [PATCH]

Previous Next

Full log

View this message in rfc822 format

From: Robert Pluim <rpluim <at> gmail.com>
To: Mattias Engdegård <mattiase <at> acm.org>
Cc: Lars Ingebrigtsen <larsi <at> gnus.org>, Eli Zaretskii <eliz <at> gnu.org>, 56418 <at> debbugs.gnu.org, rms <at> gnu.org
Subject: bug#56418: Add duplicate-dwim [PATCH]
Date: Tue, 16 Aug 2022 13:08:08 +0200

>>>>> On Thu, 4 Aug 2022 20:43:33 +0200, Mattias Engdegård <mattiase <at> acm.org> said:

    Mattias> 4 aug. 2022 kl. 06.01 skrev Richard Stallman <rms <at> gnu.org>:
    >> I suggest we define `duplicate-lines' with an option to control
    >> whether it is region-sensitive, so that people can try it both ways
    >> and tell us which way they like better.

    Mattias> I wouldn't mind but it's not a change I can make unilaterally. The
    Mattias> present solution did not require changes to `duplicate-line`.

Not everything needs an option to control it. I want duplicate-line to
simply duplicate a line. Others donʼt, they want it to obey the
region. We can coexist peacefully without forcing anybody to configure
anything, and we can each have whatever binding we prefer (I donʼt
think this should be bound to a key by default).

Robert
-- 

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.