Custom Query (361 matches)
Results (49 - 51 of 361)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #427 | duplicate | defpacustom and undo | ||
| Description |
Hi, defpacustom settings are not preserved over undo, at least not for Coq. Consider, for instance, switching "Print fully explicit" on in the middle of some file, then after undo, you get again normal printing behavior. (For Coq, this is of course not really surprising.) I don't know, if we really want to implement settings that are preserved over undo. However, it would be nice, if the defpacustom variable is reset to normal state (and thereby also its menu entry), if its effect is lost because of an undo. Hendrik |
|||
| #469 | duplicate | coqgeneral 4.3pre130327 does not compile with Emacs 24.3 | ||
| Description |
I have the following error at compile time:
generic/pg-response.el:104:23:Error: |
|||
| #382 | fixed | coq-mode inhibits automatic saving of abbrevs | ||
| Description |
Setting save-abbrevs to nil in coq-install-abbrevs disables automatics saving of any abbreviation that the user defined in this emacs session. This is not acceptable for people who do use abbrevs. |
|||
