diff options
| author | Hugo Herbelin | 2019-04-27 12:29:49 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2019-04-30 12:50:47 +0200 |
| commit | d42c059d6c7877948fdae76bf0400d4e3b06b90d (patch) | |
| tree | cc8a5e71433cecabc65c662e1dc6140d890e5568 | |
| parent | 523fc765d1363767ffb6970781767dfcdca6892c (diff) | |
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/).
| -rw-r--r-- | ide/nanoPG.ml | 4 |
1 files changed, 3 insertions, 1 deletions
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 |