diff options
author | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2001-02-20 09:33:06 +0000 |
---|---|---|
committer | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2001-02-20 09:33:06 +0000 |
commit | 2c6bd8fa09eb07e05d768702553f2ef53a6fa198 (patch) | |
tree | 52526902837b857e6a849346a0837935cfa98432 /phox/phox.el | |
parent | c0b508af88e4cb3393a93c44dd7bea614caf7c0f (diff) |
*** empty log message ***
Diffstat (limited to 'phox/phox.el')
-rw-r--r-- | phox/phox.el | 17 |
1 files changed, 14 insertions, 3 deletions
diff --git a/phox/phox.el b/phox/phox.el index 42ef5abd..480b3386 100644 --- a/phox/phox.el +++ b/phox/phox.el @@ -73,11 +73,12 @@ :type 'string :group 'phox-config) +(require 'phox-fun) +(require 'phox-font) (require 'phox-extraction) (require 'phox-tags) (require 'phox-outline) -(require 'phox-font) -(require 'phox-fun) + ;; ----- PhoX specific menu @@ -135,6 +136,8 @@ font-lock-keywords phox-font-lock-keywords ) (phox-init-syntax-table) +;; the following is only useful for xemacs + (define-key phox-mode-map [(meta ?.)] 'phox-complete-tag) ) (defun phox-shell-config () @@ -220,7 +223,15 @@ (setq proof-mode-for-response 'phox-response-mode) (setq proof-mode-for-goals 'phox-goals-mode)) -(set-variable 'phox-completion-table +; completions +; dans completions.el +;(setq completion-min-length 6) +;(setq completion-prefix-min-length 3) les mots de moins de 6 caractères +; ne sont pas pris en compte. Les prefixes de moins de 3 caractères ne +; sont pas non plus pris en compte. + +; (set-variable 'phox-completion-table +(defpgdefault completion-table (append phox-top-keywords phox-proof-keywords) ) |