diff options
author | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2005-07-05 11:51:50 +0000 |
---|---|---|
committer | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2005-07-05 11:51:50 +0000 |
commit | a1d95abe979ddc8bb7e5f3cd6cde9840fcf77932 (patch) | |
tree | e4f1f8fa5bbd07e8576d28e65efcbb9d84efb357 /phox/phox.el | |
parent | 7698e030e7183583807fa2304fea6438d85a3bef (diff) |
*** empty log message ***
Diffstat (limited to 'phox/phox.el')
-rw-r--r-- | phox/phox.el | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/phox/phox.el b/phox/phox.el index 047d8ec4..204854e7 100644 --- a/phox/phox.el +++ b/phox/phox.el @@ -41,6 +41,7 @@ ; :type 'boolean ; :group 'phox) + (defcustom phox-web-page "http://www.lama.univ-savoie.fr/~RAFFALLI/phox.html" "URL of web page for PhoX." @@ -185,6 +186,12 @@ (define-key phox-mode-map [(control c) (meta d)] 'phox-delete-symbol-on-cursor) + (if phox-x-symbol-enable + (progn + (setq x-symbol-language 'phox) + (x-symbol-mode t))) ; just to be sure + (font-lock-mode t) ; just to be sure (not always activated on OSX ?? + ) (define-derived-mode phox-shell-mode proof-shell-mode |