#349 closed defect (invalid)
proof-process-buffer in a single shot (Mac OS X)
| Reported by: | Makarius | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | major | Milestone: | PG-Emacs-4.0 |
| Component: | 2:pg-emacs | Keywords: | |
| Cc: | makarius@… |
Description
This is Mac OS X with the no-nonsense version of GNU Emacs 23.
Here proof-process-buffer does not give the usual incremental feedback, but finishes in a single shot (after quite some time of crunching as usual in PG).
It seems to work fine with the usual GNU Emacsen on Linux.
Change History (3)
comment:1 Changed 14 years ago by
| Cc: | makarius@… added |
|---|
comment:2 Changed 14 years ago by
| Resolution: | → invalid |
|---|---|
| Status: | new → closed |
comment:3 Changed 14 years ago by
OK, I was half suspecting that.
There is a general problem surfacing here: with too many options it is hard to tell what is the intended behaviour. On the other hand, these options try to iron out odditities on the multitude of Emacs versions of different platforms.
Note: See
TracTickets for help on using
tickets.
A feature! See Quick Options -> Fast Process Buffer. And a result of your complaint, see our email, CHANGES, #324.
The time should be considerably less than measured without this setting. Turn off Full Annotation if you want it even faster and don't care about that.