Custom Query (361 matches)
Results (37 - 39 of 361)
| Ticket | Owner | Reporter | Resolution | Summary |
|---|---|---|---|---|
| #181 | fixed | Strange font-lock warning/error in GNU Emacs 21.4.1 (Ubuntu 7.10) | ||
| Description |
Starting Proof General with GNU Emacs 21.4.1 (Ubuntu 7.10) produces the following warning/error:
This appears to be mostly harmless, i.e. the system seems to work despite of this. |
|||
| #187 | fixed | If sent command fails, don't move the cursor. | ||
| Description |
Typical work flow is: change something, send using c-c c-return. If the command fails, it's probably due to the something I just changed, where I had the cursor in the first place. Unfortunately, proof general moves it to the end of the current command, making me have to go back manually, change things again, etc. Being able to keep the cursor where it is if the command fails would be really nice. |
|||
| #188 | fixed | Option to treat comments as individual statements. | ||
| Description |
The commands of type (* comment *) and -- "comment" are absorbed as part of the previous command. They hardly ever describe the previous command, instead describing the *following* one. I would much prefer if when I pressed "previous" or performed an undo using c-c c-return, I could go up to before the comment without undoing the previous command. This is one of the reasons I've taken to working with strict read-only turned off, but for beginners this is not such a good idea. |
|||
