--- Begin Message ---
Subject: |
28.0.50; [PATCH] Add command project-remove-known-project |
Date: |
Sun, 21 Mar 2021 00:28:24 +0100 |
Hello!
This patch adds an interactive command 'project-remove-known-project',
that lets the user interactively remove a project from the project
list. My usecase is that sometimes when a directory is moved, the
project isn't deleted from the list.
This command is modelled after the already present
'project--remove-from-project-list', but that function isn't
interactive, and also has a specific purpose.
I did not add a binding, nor add it to the
project-switch-commands. Unsure if deserves a spot there :).
--
Theodor Thornhill
0001-Add-command-project-remove-known-project.patch
Description: Text Data
--- End Message ---
--- Begin Message ---
Subject: |
Re: bug#47287: 28.0.50; [PATCH] Add command project-remove-known-project |
Date: |
Thu, 25 Mar 2021 01:17:39 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.7.1 |
On 23.03.2021 14:50, Theodor Thornhill via Bug reports for GNU Emacs,
the Swiss army knife of text editors wrote:
One last nit from me: since you now include the changes to the manual,
this NEWS entry should be marked by "+++" before it, per the note at
the beginning of NEWS.
Of course - added. Thanks for patience :)
Thank you for following up.
Installed and closing.
--- End Message ---