diff options
| author | David Aspinall | 2006-08-23 18:55:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2006-08-23 18:55:06 +0000 |
| commit | fafbdd53c8f0ec86191acfc7a9c1a389fbfe0a4a (patch) | |
| tree | ff632b8b2d3b4fbd654d0030d3f59f1fabc1854c /etc | |
| parent | bd3935f10a296b7c9fd0a2adf14c4f8312bd4850 (diff) | |
Mention Emacs menu for debug boxes
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/debugging-tips.txt | 18 |
1 files changed, 13 insertions, 5 deletions
diff --git a/etc/debugging-tips.txt b/etc/debugging-tips.txt index 0337df41..b8ac649d 100644 --- a/etc/debugging-tips.txt +++ b/etc/debugging-tips.txt @@ -5,18 +5,26 @@ Emacs debug flags ================= If Proof General gives an error, you can set the Emacs debug -flag to find out where in the code it occurs, showing a -stack trace: +flags to find out where in the code it occurs, showing a +stack trace. + +On Emacs, check the boxes in the Options menu: + + Options -> Enter Debugger on Error + Options -> Enter Debugger on Quit + +On XEmacs you can find the check boxes under the menu Options -> +Troubleshooting. + +You can also set these variables directly in lisp: (setq debug-on-error t) ; debug on errors - (setq debug-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 =========================== |