Custom Query (361 matches)
Results (61 - 63 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#301 | invalid | Ubuntu 9.10: PG menus broken | ||
Description |
On Ubuntu 9.10 with Emacs 22 or 23, the PG specific menus are broken (empty menu content, or strange stuff in the "Isabelle" menu: "Complete Lisp symbol ... Evaluate defun". Same problem for PG 3.7.1 |
|||
#306 | fixed | Odd display of sub/superscripts | ||
Description |
This is GNU Emacs 23.1.1 on Ubuntu 9.10.
Sub/superscripts are displayed in an odd way. E.g. |
|||
#308 | wontfix | Emacs 23 slow -- especially on Cygwin | ||
Description |
My general impression when using PG 3.7.1 or 4.0 with Emacs 23 is that is a bit slow. On Linux this is somehow bearable, but on Cygwin 1.7 it renders PG almost unusable. Since there is no Emacs 22 on Cygwin 1.7 or 1.5 (which are the current versions), the only alternative for now seems to be XEmacs 21.4.x. This means we need to fall back on old PG 3.7.1 for this platform!?!? |