From 76697fb3fd73564c06f7fee23e9a92c8f9da7664 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sat, 21 Oct 2006 17:04:22 +0000
Subject: Pas d'@ dans les identificateurs (pour F4 and co)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9256 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/coqide.ml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'ide')

diff --git a/ide/coqide.ml b/ide/coqide.ml
index 0b5daaffb6..343096f5b4 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -329,9 +329,10 @@ let remove_current_view_page () =
     ((notebook ())#get_nth_page c)#misc#hide ()
 
 
-let is_word_char c = 
-  Glib.Unichar.isalnum c || c = underscore || c = prime || c = arobase
-  
+let is_word_char c =
+  (* TODO: avoid num and prime at the head of a word *)
+  Glib.Unichar.isalnum c || c = underscore || c = prime
+
 let starts_word it = 
   prerr_endline ("Starts word ? '"^(Glib.Utf8.from_unichar it#char)^"'");
   (not it#copy#nocopy#backward_char ||
-- 
cgit v1.2.3