From d42c059d6c7877948fdae76bf0400d4e3b06b90d Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 27 Apr 2019 12:29:49 +0200
Subject: NanoPG doc: telling that char, word, sentence, line have their
 unicode meaning.

More precisely, GTK+ uses Pango rules which follows the standard Unicode
text segmentation rules (see http://www.unicode.org/reports/tr29/).
---
 ide/nanoPG.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/ide/nanoPG.ml b/ide/nanoPG.ml
index 70f2a71db2..435076c332 100644
--- a/ide/nanoPG.ml
+++ b/ide/nanoPG.ml
@@ -333,4 +333,6 @@ let init w nb ags =
 
 
 
-let get_documentation () = print_keypaths pg
+let get_documentation () =
+  "Chars, words, lines and sentences below pertain to standard unicode segmentation rules\n" ^
+  print_keypaths pg
-- 
cgit v1.2.3