From a1d95abe979ddc8bb7e5f3cd6cde9840fcf77932 Mon Sep 17 00:00:00 2001
From: Christophe Raffalli <christophe.raffalli@univ-savoie.fr>
Date: Tue, 5 Jul 2005 11:51:50 +0000
Subject: *** empty log message ***

---
 phox/phox.el | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'phox/phox.el')

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
-- 
cgit v1.2.3