diff options
author | 2001-02-07 10:04:46 +0000 | |
---|---|---|
committer | 2001-02-07 10:04:46 +0000 | |
commit | b41d86776519bda5ea929825ee20cd9b812d388a (patch) | |
tree | 9b60942946f7178950fdcdff073de35a4f8c540c /phox/phox.el | |
parent | 1ead0c6bab9ed40df820d5db1a9aa0e2fde262b7 (diff) |
*** empty log message ***
Diffstat (limited to 'phox/phox.el')
-rw-r--r-- | phox/phox.el | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/phox/phox.el b/phox/phox.el index 9d00bb75..336a1131 100644 --- a/phox/phox.el +++ b/phox/phox.el @@ -33,7 +33,7 @@ :group 'phox) (defcustom phox-sym-lock t - "*Whether to use phox-sym-lock or not." + "*Whether to use sym-lock or not." :type 'boolean :group 'phox) @@ -83,13 +83,15 @@ (defpgdefault menu-entries (cons - phox-tags-menu + phox-state-menu (cons - phox-extraction-menu + phox-tags-menu + (cons + phox-extraction-menu ;; not useful ? ; '(["Delete symbol around cursor" phox-delete-symbol-around-point t] ; ["Delete symbol" phox-delete-symbol t]) - nil)) + nil))) ) ;; @@ -218,6 +220,10 @@ (setq proof-mode-for-response 'phox-response-mode) (setq proof-mode-for-goals 'phox-goals-mode)) +(set-variable 'phox-completion-table +(append phox-top-keywords phox-proof-keywords) +) + (provide 'phox) |