diff options
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) |