From 022687c6de5c667f0899a340b6bb3da8ba74d21c Mon Sep 17 00:00:00 2001 From: Martin Aeschlimann Date: Thu, 26 Oct 2017 09:19:44 +0200 Subject: [PATCH] [bat] region marker improvement (for #36911) --- extensions/bat/language-configuration.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/extensions/bat/language-configuration.json b/extensions/bat/language-configuration.json index fd6d50b2479..2fb5445a34a 100644 --- a/extensions/bat/language-configuration.json +++ b/extensions/bat/language-configuration.json @@ -21,8 +21,8 @@ ], "folding": { "markers": { - "start": "^\\s*(::|REM)\\s*#region", - "end": "^\\s*(::|REM)\\s*#endregion" + "start": "^\\s*(::\\s*|REM\\s+)#region", + "end": "^\\s*(::\\s*|REM\\s+)#endregion" } } }