Opened 14 years ago
Closed 14 years ago
#332 closed defect (invalid)
Minibuffer display of first line of urgent messages lost?
| Reported by: | Makarius | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | major | Milestone: | PG-Emacs-4.0 |
| Component: | 2:pg-emacs | Keywords: | |
| Cc: | makarius@… |
Description
This is Xubuntu 10.04 LTS, GNU Emacs 23.1.1.
It seams that the traditional minibuffer display of urgent messages no longer works.
E.g. consider ML "timing := true" and stepping through a proof. Since the goal state is displayed after each command, the only chance to see the timing information is via the minbuffer (apart from looking at raw *isabelle* output as last resort).
Change History (2)
comment:1 Changed 14 years ago by
| Cc: | makarius@… added |
|---|
comment:2 Changed 14 years ago by
| Resolution: | → invalid |
|---|---|
| Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
It's now an option to reduce noise. Enable with Quick Options -> Display -> Minibuffer messages