From fae6a054d400a744baa098537110ee188d2a161f Mon Sep 17 00:00:00 2001 From: Tim Gates Date: Wed, 25 Mar 2020 06:17:37 +1100 Subject: [PATCH] docs: Fix simple typo, folowed -> followed There is a small typo in waliki/static/codemirror/mode/django/django.js. Should read `followed` rather than `folowed`. --- waliki/static/codemirror/mode/django/django.js | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/waliki/static/codemirror/mode/django/django.js b/waliki/static/codemirror/mode/django/django.js index 2f08b06..f89f57d 100644 --- a/waliki/static/codemirror/mode/django/django.js +++ b/waliki/static/codemirror/mode/django/django.js @@ -98,7 +98,7 @@ return "null"; } - // Dot folowed by a non-word character should be considered an error. + // Dot followed by a non-word character should be considered an error. if (stream.match(/\.\W+/)) { return "error"; } else if (stream.eat(".")) { @@ -117,7 +117,7 @@ return "null"; } - // Pipe folowed by a non-word character should be considered an error. + // Pipe followed by a non-word character should be considered an error. if (stream.match(/\.\W+/)) { return "error"; } else if (stream.eat("|")) { @@ -197,7 +197,7 @@ return "null"; } - // Dot folowed by a non-word character should be considered an error. + // Dot followed by a non-word character should be considered an error. if (stream.match(/\.\W+/)) { return "error"; } else if (stream.eat(".")) { @@ -216,7 +216,7 @@ return "null"; } - // Pipe folowed by a non-word character should be considered an error. + // Pipe followed by a non-word character should be considered an error. if (stream.match(/\.\W+/)) { return "error"; } else if (stream.eat("|")) {