From 0ba8321eb35509970359f4da569024e21765f588 Mon Sep 17 00:00:00 2001 From: jos Date: Wed, 25 Mar 2020 10:37:33 +0100 Subject: [PATCH] Fix linting issue --- src/js/Node.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/js/Node.js b/src/js/Node.js index 69695f3..44fba88 100644 --- a/src/js/Node.js +++ b/src/js/Node.js @@ -3253,7 +3253,7 @@ export class Node { // update the index numbering this._updateDomIndexes() - + this.showChilds() if (triggerAction === true) {