From 62b19246a81adbd07992cca91009faf012c5e9dd Mon Sep 17 00:00:00 2001
From: Jasper Hugunin
Date: Fri, 3 May 2019 23:22:56 -0700
Subject: CoqIDE: recognize qualified identifiers as words.

Fixes coq/coq#10062.
The implementation is rough, and does not deal with leading,
trailing, or doubled periods, but the same can be said of the current
handling of leading numbers or primes.
---
 ide/gtk_parsing.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ide/gtk_parsing.ml b/ide/gtk_parsing.ml
index d554bebdd3..82a5e9cdf6 100644
--- a/ide/gtk_parsing.ml
+++ b/ide/gtk_parsing.ml
@@ -10,11 +10,11 @@
 
 let underscore = Glib.Utf8.to_unichar "_" ~pos:(ref 0)
 let prime = Glib.Utf8.to_unichar "'" ~pos:(ref 0)
-
+let dot = Glib.Utf8.to_unichar "." ~pos:(ref 0)
 
 (* TODO: avoid num and prime at the head of a word *)
 let is_word_char c =
-  Glib.Unichar.isalnum c || c = underscore || c = prime
+  Glib.Unichar.isalnum c || c = underscore || c = prime || c = dot
 
 
 let starts_word (it:GText.iter) =
-- 
cgit v1.2.3