Skip to content

Comments

Make DIRECTORY-MODE-MARK-REGEXP keep old marks.#1297

Merged
cxxxr merged 1 commit intolem-project:mainfrom
mychris:fix/directory-mode-mark-regex-keep-old
Feb 16, 2024
Merged

Make DIRECTORY-MODE-MARK-REGEXP keep old marks.#1297
cxxxr merged 1 commit intolem-project:mainfrom
mychris:fix/directory-mode-mark-regex-keep-old

Conversation

@mychris
Copy link
Contributor

@mychris mychris commented Feb 16, 2024

I think it is more useful to keep already marked lines and make DIRECTORY-MODE-MARK-REGEXP just add new marks.
The user can always remove all existing marks before calling this function, or create a wrapper command which does so.

Currently, it can be quite complicated to mark many different kinds of files with a single regex.

@cxxxr cxxxr merged commit 9779126 into lem-project:main Feb 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants