Custom Query (361 matches)
Results (22 - 24 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#178 | worksforme | Emacs occasionally hangs when doing isearch-forward. | ||
Description |
Using GNU emacs 22.1.1 on Ubuntu 7.10, the editor occasionally hangs when doing isearch-forward. E.g. reproduce this by visiting Isabelle/src/HOL/Lambda/WeakNorm.thy: type C-s, type "c" "o" "n" "s" (which finds an occurreny of "Cons" in the text), continuing to type "t" makes emacs hang; after C-g it works again, but there is some danger it will again hang later. |
|||
#264 | worksforme | GNU Emacs 22.2.1 (SuSE): tty fails | ||
Description |
GNU Emacs 22.2.1 (x86_64-suse-linux-gnu) of 2008-09-12 on hammer22 Starting up in tty mode fails: Debugger entered--Lisp error: (wrong-type-argument stringp cdr) intern(cdr) easy-menu-create-keymaps(if ((consp menu) (cdr menu) menu)) easy-menu-create-keymaps(let (((menu ...)) (if (consp menu) (cdr menu) menu))$ easy-menu-create-keymaps(lambda ((&rest junk) (let (...) (if ... ... menu)))) easy-menu-create-keymaps("Customize" (:filter (lambda (&rest junk) (let ... .$ easy-menu-create-keymaps("Custom" (("Customize" :filter (lambda ... ...)) ["S$ |
|||
#328 | worksforme | Strange resizing of main buffer after minibuffer dialog corres | ||
Description |
This is GNU Emacs 23.1.1 on Xubuntu 9.10. Visiting (or revisiting) a .thy file via the minibuffer dialog shrinks the corresponding main editor frame by a few pixels. Repeated invocations of C-x C-v will reduce it to a single line, where it stabilizes. This odd behaviour does not affect files that are alien to Proof General, such as plain text files. |