diff options
| author | Pierre Courtieu | 2021-03-19 13:34:00 +0100 |
|---|---|---|
| committer | Pierre Courtieu | 2021-03-21 18:31:43 +0100 |
| commit | 0a0a34362ae4f7057f1cb1a0a12cf0a8ea3c0ce9 (patch) | |
| tree | a798457e4507a8183ca35c2456d29bc011ea1b69 /coq/coq-abbrev.el | |
| parent | 56ee4ebc97e77da7d61eaa7b00580bf4ef5b87d9 (diff) | |
Fix #563 avoid dual-send bug in search blacklist customization.
Splitting the coq into two commands made me remove
coq-search-blacklist-string from defpgcustom. The visible effect is
that the menu entry has moved, and the command name changed. This is
explained in the CHANGES.
To squash.
Diffstat (limited to 'coq/coq-abbrev.el')
| -rw-r--r-- | coq/coq-abbrev.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/coq/coq-abbrev.el b/coq/coq-abbrev.el index edeb0616..4d0adedb 100644 --- a/coq/coq-abbrev.el +++ b/coq/coq-abbrev.el @@ -320,6 +320,7 @@ ["Search..." coq-Search t] ["SearchRewrite..." coq-SearchRewrite t] ["SearchPattern..." coq-SearchIsos t] + ["Search Blacklist..." coq-change-search-blacklist-interactive t] ["Locate constant..." coq-LocateConstant t] ["Locate Library..." coq-LocateLibrary t] ["Pwd" coq-Pwd t] |