Que Time n'empêche pas la colorisation des mots-clés.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11464 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 10 insertions, 7 deletions

diff --git a/ide/highlight.mll b/ide/highlight.mll
index 43b257977..b791aa509 100644
--- a/ide/highlight.mll
+++ b/ide/highlight.mll
@@ -110,13 +110,16 @@ rule next_starting_order = parse
   | multiword_command
       { starting:=false; lexeme_start lexbuf, lexeme_end lexbuf, "kwd" }
   | ident as id 
-      { starting:=false; 
-        if is_one_word_command id then 
-	  lexeme_start lexbuf, lexeme_end lexbuf, "kwd" 
-	else if is_one_word_declaration id then
-	  lexeme_start lexbuf, lexeme_end lexbuf, "decl"
-	else
-	  next_interior_order lexbuf
+      { if id = "Time" then next_starting_order lexbuf else
+	begin
+	  starting:=false; 
+          if is_one_word_command id then 
+	    lexeme_start lexbuf, lexeme_end lexbuf, "kwd" 
+	  else if is_one_word_declaration id then
+	    lexeme_start lexbuf, lexeme_end lexbuf, "decl"
+	  else
+	    next_interior_order lexbuf
+	end
       }
   | _    { starting := false; next_interior_order lexbuf}
   | eof  { raise End_of_file }