From d9990b6279d3b5ecc1a11ef732f51a511203e1bb Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 30 Nov 2004 09:39:25 +0000 Subject: Fixes --- etc/debugging-tips.txt | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/etc/debugging-tips.txt b/etc/debugging-tips.txt index 3b513146..0337df41 100644 --- a/etc/debugging-tips.txt +++ b/etc/debugging-tips.txt @@ -9,12 +9,15 @@ flag to find out where in the code it occurs, showing a stack trace: (setq debug-on-error t) ; debug on errors - (setq debugon-on-quit t) ; debug on CTRL-G for looping code + (setq debug-on-quit t) ; debug on CTRL-G for looping code You can make settings like this using M-x set-variable, or writing Lisp code as above in the *scratch* buffer, and typing C-x C-e to evaluate the expressions, or using M-x eval-expression (ESC-:). +On XEmacs you can also find the above settings under the +menu Options -> Troubleshooting. + Debugging start-up problems =========================== @@ -54,7 +57,7 @@ you are writing your own additions for Proof General. Load the source file .el, and locate the function you want to debug. Type - M-x debug-defun RET + M-x edebug-defun RET to instrument it for debugging. -- cgit v1.2.3