From 43b0e031b03fff0f597dde9f593fc8317f407244 Mon Sep 17 00:00:00 2001
From: Hans Pagel <hans.pagel@ueber.io>
Date: Tue, 19 Jan 2021 15:03:34 +0100
Subject: [PATCH] fix linting error

---
 .../demos/Experiments/Linter/extension/plugins/HeadingLevel.ts  | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/src/demos/Experiments/Linter/extension/plugins/HeadingLevel.ts b/docs/src/demos/Experiments/Linter/extension/plugins/HeadingLevel.ts
index ebb2cd8f..df78dacf 100644
--- a/docs/src/demos/Experiments/Linter/extension/plugins/HeadingLevel.ts
+++ b/docs/src/demos/Experiments/Linter/extension/plugins/HeadingLevel.ts
@@ -12,7 +12,7 @@ export class HeadingLevel extends LinterPlugin {
     let lastHeadLevel = null
 
     this.doc.descendants((node, position) => {
-      if (node.type.name == 'heading') {
+      if (node.type.name === 'heading') {
         // Check whether heading levels fit under the current level
         const { level } = node.attrs