[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#6419: A suggestion for easier editing of lists in Custom buffers
From: |
Drew Adams |
Subject: |
bug#6419: A suggestion for easier editing of lists in Custom buffers |
Date: |
Wed, 21 Oct 2020 10:03:10 -0700 (PDT) |
"Insert a new item (or a previously deleted one) into the list at this
position."
Should "a previously deleted one" be "the last-deleted one"?
If you use INS in one customize buffer after using
DEL in another, or after using DEL in another part
of the same buffer (but not part of the same sequence),
is that last-deleted item inserted? Or is it only the
last-deleted (if any) from the same sequence?
"If there is a recently deleted child, the new widget
is that deleted child."
Same question/problem. Any recently deleted child?
What if there are several? Is it the last-deleted
that's used? (I see that the code says "last-deleted".)
"from the known childrens" -> "from the known children"
- bug#6419: A suggestion for easier editing of lists in Custom buffers, Mauro Aranda, 2020/10/14
- bug#6419: A suggestion for easier editing of lists in Custom buffers, Lars Ingebrigtsen, 2020/10/16
- bug#6419: A suggestion for easier editing of lists in Custom buffers, Mauro Aranda, 2020/10/21
- bug#6419: A suggestion for easier editing of lists in Custom buffers,
Drew Adams <=
- bug#6419: A suggestion for easier editing of lists in Custom buffers, Mauro Aranda, 2020/10/21
- bug#6419: A suggestion for easier editing of lists in Custom buffers, Drew Adams, 2020/10/21
- bug#6419: A suggestion for easier editing of lists in Custom buffers, Mauro Aranda, 2020/10/21
- bug#6419: A suggestion for easier editing of lists in Custom buffers, Lars Ingebrigtsen, 2020/10/22
- bug#6419: A suggestion for easier editing of lists in Custom buffers, Mauro Aranda, 2020/10/22
- bug#6419: A suggestion for easier editing of lists in Custom buffers, Lars Ingebrigtsen, 2020/10/22
- bug#6419: A suggestion for easier editing of lists in Custom buffers, Mauro Aranda, 2020/10/22