Custom Query (361 matches)
Results (40 - 42 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#329 | duplicate | Unwanted kill-buffer at startup | ||
Description |
Hi, I have noticed that when I run ProofGeneral, i.e. at the time I open the first Coq file of a given Emacs session, ProofGeneral 4.0pre100709 attemps to kill the previously active buffer. To make sure of this behavior, I ran
and Emacs asked "Buffer has a running process; kill it? (yes or no)". Kind regards, Erik Martin-Dorel. My System Info: ================ GNU Emacs 23.2.1 PG 4.0pre100709 Coq 8.2pl2 |
|||
#337 | duplicate | C-c C-a h is undefined | ||
Description |
When I use proof general with Isabelle, the "Isabelle/Show? me .../Facts" menu says "C-c C-a <h> <f>" next to it, but after typing just "ctrl-c ctrl-a h" emacs says "C-c C-a h is undefined". I have 3.7.1.1. |
|||
#350 | duplicate | Report Emacs bug (was: Unicode tokens "Reveal Control/Symbol Tokens" reveals hidden text in script buffer) | ||
Description |
Test case: process a buffer, hide some proofs/comments containing Unicode tokens (should see ellipsis character). Enable "Reveal Tokens" and the text shown is nonsense, you see the tokens from the invisible region in order! This is arguably a bug inside Emacs and needs reporting upstream. Overlay invisibility properties should override text property ones (Elisp manual says "Currently, all overlays take priority over text properties"). The Unicode tokens mode sets invisible property to nil, but there is an overlay overlapping the region with non-nil invisibility properties. Seen on Emacs 23.1.1, Linux. |