From 1233299f9f4e697102ad2d30f9cff5015d2623a8 Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijn@haverbeke.nl>
Date: Sun, 2 Oct 2016 11:42:32 +0200
Subject: [PATCH] [python mode] Don't highlight comments with odd indentation
as error
Closes #4276
---
mode/python/python.js | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/mode/python/python.js b/mode/python/python.js
index efeed7f15..30f1428e3 100644
--- a/mode/python/python.js
+++ b/mode/python/python.js
@@ -85,7 +85,7 @@
var lineOffset = stream.indentation();
if (lineOffset > scopeOffset)
pushPyScope(state);
- else if (lineOffset < scopeOffset && dedent(stream, state))
+ else if (lineOffset < scopeOffset && dedent(stream, state) && stream.peek() != "#")
state.errorToken = true;
return null;
} else {
--
GitLab