diff options
Diffstat (limited to 'ide/sentence.mli')
-rw-r--r-- | ide/sentence.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/sentence.mli b/ide/sentence.mli index c552024f4..2a83d04f7 100644 --- a/ide/sentence.mli +++ b/ide/sentence.mli @@ -10,7 +10,7 @@ val tag_on_insert : GText.buffer -> unit -(** Retag the ends of sentences in the whole buffer *) +(** Retag the ends of sentences in the non-locked part of the buffer *) val tag_all : GText.buffer -> unit |