From d8166067bed6935d1a1db158acf58cc1a595ae31 Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijn@haverbeke.nl>
Date: Thu, 2 Feb 2017 11:36:18 +0100
Subject: [PATCH] Document the fact that skipTo can skip to any string
---
doc/manual.html | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/doc/manual.html b/doc/manual.html
index a5eb2233..496494c4 100644
--- a/doc/manual.html
+++ b/doc/manual.html
@@ -3141,11 +3141,11 @@ editor.setOption("extraKeys", {
white-space.</dd>
<dt><code><strong>skipToEnd</strong>()</code></dt>
<dd>Moves the position to the end of the line.</dd>
- <dt><code><strong>skipTo</strong>(ch: string) → boolean</code></dt>
- <dd>Skips to the next occurrence of the given character, if
+ <dt><code><strong>skipTo</strong>(str: string) → boolean</code></dt>
+ <dd>Skips to the start of the next occurrence of the given string, if
found on the current line (doesn't advance the stream if the
- character does not occur on the line). Returns true if the
- character was found.</dd>
+ string does not occur on the line). Returns true if the
+ string was found.</dd>
<dt><code><strong>match</strong>(pattern: string, ?consume: boolean, ?caseFold: boolean) → boolean</code></dt>
<dt><code><strong>match</strong>(pattern: regexp, ?consume: boolean) → array<string></code></dt>
<dd>Act like a
--
GitLab