diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-11-03 14:38:00 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-11-03 14:38:00 +0000 |
commit | f48f380a4f5a8a1daecfe75961ed8b73eaefcae5 (patch) | |
tree | 02bdcdc6631e9632b05a3b2e83d89c561830ade2 /doc/notes.txt | |
parent | 5a271121d0bdd20f535b3038a9831fdcfde67b0e (diff) |
Minor improvements
Diffstat (limited to 'doc/notes.txt')
-rw-r--r-- | doc/notes.txt | 17 |
1 files changed, 12 insertions, 5 deletions
diff --git a/doc/notes.txt b/doc/notes.txt index b8ca8fee..9b91c191 100644 --- a/doc/notes.txt +++ b/doc/notes.txt @@ -99,7 +99,7 @@ Get Dave a laptop to demo on. ********* -Support for fume-function. +Support for Function Menus fume-func is a handy package which makes a menu from the function declarations in a buffer. Proof General configures fume-func so @@ -108,10 +108,17 @@ that you can quickly jump to particular proofs in a script buffer. If you want to use fume-func, you may need to enable it for yourself. It is distributed with XEmacs (and FSF GNU Emacs) but by not enabled by default. To enable it you should find -the file fume-func.el and follow the instructions there. -If you have XEmacs 20.4, what you need to do is this: - - ...... +the file func-menu.el and follow the instructions there. +At the time of writing, the current version of XEmacs is 20.4 and +it has these instructions: + +(require 'func-menu) +(define-key global-map 'f8 'function-menu) +(add-hook 'find-file-hooks 'fume-add-menubar-entry) +(define-key global-map "\C-cl" 'fume-list-functions) +(define-key global-map "\C-cg" 'fume-prompt-function-goto) +(define-key global-map '(shift button3) 'mouse-function-menu) +(define-key global-map '(meta button1) 'fume-mouse-function-goto) If you have any other version of Emacs, you should check the fume-func.el file |