diff options
| -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 |