Edit Abbrevs broken?

[SimonBoulier]

I don't succeed in editing abbrevs.

Step to reproduce:

• Click Coq > ABBREVS > Abbrev Mode (here it works)
• Click Coq > ABBREVS > Edit Abbrevs
• edit an abbrev (let's say change "a" in "aa" for auto)
• save the buffer (it says "Wrote /home/rascar/.emacs.d/abbrev_defs" and it indeed creates this file, which is merely empty, see here)
• go back to Coq (it works with the edited abbrevs)
• try to close emacs, it asks "Save abbrevs to ~/.emacs.d/abbrev_defs?"
• answer Yes (the file abbrev_defs stay the same)
• now if you reopen emacs and enable abbrevs no one abbrev is available ...

Temporarily, is there a way to change abbrevs directly in the code of PG?

[Matafou]

Hi, thanks for reporting

To workaround: You can edit the coq-syntax.el and see the variable
coq-xxx-db. The second element of each entry is the abbrev.
P

Le mardi 16 février 2016, SimonBoulier notifications@github.com a écrit :

I don't succeed in editing abbrevs.

Step to reproduce:

• Click Coq > ABBREVS > Abbrev Mode (here it works)
• Click Coq > ABBREVS > Edit Abbrevs
• edit an abbrev (let's say change "a" in "aa" for auto)
• save the buffer (it says "Wrote /home/rascar/.emacs.d/abbrev_defs"
  and it indeed creates this file, which is merely empty, see here
  https://gist.github.com/SimonBoulier/e3ecac6617fb4d4a1a71)
• go back to Coq (it works with the edited abbrevs)
• try to close emacs, it asks "Save abbrevs to ~/.emacs.d/abbrev_defs?"
• answer Yes (the file abbrev_defs stay the same)
• now if you reopen emacs and enable abbrevs no one abbrev is
  available ...

Temporarily, is there a way to change abbrevs directly in the code of PG?

—
Reply to this email directly or view it on GitHub
#52.

[hendriktews]

I vaguely remember that I once spotted that coq mode always resets the abbrev table instead of reading it from disk. This could explain the reported behavior. However, I was under the impression that this problem was fixed several years ago?