diff options
author | 2003-02-17 20:45:22 +0000 | |
---|---|---|
committer | 2003-02-17 20:45:22 +0000 | |
commit | fafcbdcac136fa57ee8fe68dbe492758cc6818c6 (patch) | |
tree | fd422c357c7e9041a821e7443f9d7af19de56da9 /FAQ | |
parent | 71b52dac340d4dd55ab420628a51123781c7fc1d (diff) |
Larrys suggestion for lookup-syntax-properties.
Diffstat (limited to 'FAQ')
-rw-r--r-- | FAQ | 13 |
1 files changed, 13 insertions, 0 deletions
@@ -52,6 +52,19 @@ A. Once X-Symbol is picked up by Emacs (e.g. is working for TeX), ----------------------------------------------------------------- +Q. I notice that editing Isabelle files in Proof General with XEmacs + 21.4 is very slow. Can this be fixed? + +A. You could consider adding the following line to your init file: + + (setq lookup-syntax-properties nil) + + This hack bypasses some very slow code in the font-lock system, but + it also disables some syntax-related features, so use with care. + +----------------------------------------------------------------- + + Q. I'm afraid I got stuck very early on. I sent the following line: by (swap_res_tac [psubsetI] 1; |