[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#56418: Add duplicate-dwim [PATCH]
From: |
Mattias Engdegård |
Subject: |
bug#56418: Add duplicate-dwim [PATCH] |
Date: |
Thu, 4 Aug 2022 20:43:33 +0200 |
4 aug. 2022 kl. 06.01 skrev Richard Stallman <rms@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.
I wouldn't mind but it's not a change I can make unilaterally. The present
solution did not require changes to `duplicate-line`.