Re: xemacs update
Re: xemacs update
- Subject: Re: xemacs update
- From: Lawrence Paulson <email@hidden>
- Date: Fri, 13 Jun 2003 10:19:34 +0100
On Thursday, June 12, 2003, at 09:37 pm, robert delius royar wrote:
The messages are in the hidden buffer " *Message-Log*" (The quotations
are there only to show you that there is a space before the first *
and not
one after the second *.)
Loading pending-del...
Loading pending-del...done
Loading vc...
Loading vc...done
Loading /Users/lcp/isabelle/Repos/ProofGeneral/generic/proof-site.el...
Loading
/Users/lcp/isabelle/Repos/ProofGeneral/generic/proof-site.el...done
Loading cus-face...
Loading cus-face...done
Loading ~/.abbrev_defs...
Loading ~/.abbrev_defs...done
Loading disp-table...
Loading disp-table...done
Loading efs-cu...
Loading efs-cu...done
Loading isar...
Loading proof-splash...
Loading proof-splash...done
File mode specification error: (wrong-type-argument
number-char-or-marker-p nil\
)
Without the -nw switch, xemacs gets much further before hanging with
the usual error message "BadMatch (invalid parameter attributes)".
It seems that my package (Proof General, http://www.proofgeneral.org/)
doesn't expect to run without X11.
If you make XEmacs one of the programs on your Applications menu, and
enable
console/crash logging, do you get the errors saved in your console log?
Yes.
Also, is MULE enabled in your version of XEmacs?
I don't think so. There is no Mule menu.
Incidentally, here is the Lisp backtrace when I kill a hanging XEmacs
job.
Larry Paulson
Lisp backtrace follows:
dispatch-non-command-events()
# (condition-case ... . ((nil)))
progress-feedback-dispatch-non-command-events()
# bind (ext gutter-string val zmacs-region-stays inhibit-read-only
frame valu
message)
raw-append-progress-feedback("Fontifying OtwayRees.thy..." 0
#<x-frame "emacs
0x843>)
# bind (tmsg top frame value message label)
append-progress-feedback(font-lock "Fontifying OtwayRees.thy..." 0
nil)
# bind (frame value message label)
display-progress-feedback(font-lock "Fontifying OtwayRees.thy..." 0)
# bind (str)
# (unwind-protect ...)
# bind (args value fmt label)
progress-feedback-with-label(font-lock "Fontifying %s..." 0
"OtwayRees.thy")
# bind (maybe-loudly end beg)
font-lock-default-unfontify-region(1 17367 t)
# bind (loudly end beg)
font-lock-unfontify-region(1 17367 t)
# bind (was-on font-lock-verbose font-lock-message-threshold aborted)
# (unwind-protect ...)
fo~/isabelle/Repos/HOL/Auth: nt-lock-default-fontify-buffer()
# bind (font-lock-verbose)
font-lock-fontify-buffer()
# bind (on-p maximum-size arg)
font-lock-mode(1)
turn-on-font-lock()
# bind (explicit-defaults)
font-lock-set-defaults()
run-hooks(font-lock-set-defaults)
# bind (nomodes after-find-file-from-revert-buffer noauto warn error)
after-find-file(nil t)
byte-code("..." [buffer-file-number number truename
buffer-file-truename buf
uffer-file-name set-buffer-major-mode erase-buffer nil (byte-code +B
C\"*
D C\"B" [rawfile filename insert-file-contents-literally t
insert-file-c
ents] 3) ((file-error ...)) abbreviate-file-name file-name-directory
make-local
variable backup-inhibited t after-find-file find-file-use-truenames
default-dir
ctory backup-enable-predicate rawfile error nowarn] 3)
# (condition-case ... . ((t (byte-code "!C @ A\"" ... 3))))
# (unwind-protect ...)
# bind (error number truename buf rawfile nowarn filename)
find-file-noselect("/Users/lcp/isabelle/Repos/HOL/Auth/OtwayRees.thy")
# bind (codesys filename)
find-file("/Users/lcp/isabelle/Repos/HOL/Auth/OtwayRees.thy")
# bind (dir file-count line end-of-options file-p arg tem)
command-line-1()
# bind (command-line-args-left)
command-line()
# (condition-case ... . ((t (byte-code " oB" ... 1))))
# bind (error-data)
normal-top-level()
# (condition-case ... . error)
# (catch top-level ...)
_______________________________________________
x11-users mailing list | email@hidden
Help/Unsubscribe/Archives: http://www.lists.apple.com/mailman/listinfo/x11-users
X11 for Mac OS X FAQ: http://developer.apple.com/qa/qa2001/qa1232.html
Report issues, request features, feedback: http://developer.apple.com/bugreporter
Do not post admin requests to the list. They will be ignored.