From c31a1abab4240ccde806c34ade5518c6f11f1027 Mon Sep 17 00:00:00 2001 From: Daniel Date: Thu, 1 Oct 2020 20:08:11 +0200 Subject: [PATCH] Update src/javascript/enhancements/languageDisplay.js Co-authored-by: kaffem <29717789+kaffem@users.noreply.github.com> --- src/javascript/enhancements/languageDisplay.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/javascript/enhancements/languageDisplay.js b/src/javascript/enhancements/languageDisplay.js index 9952ab9..c20f8d8 100644 --- a/src/javascript/enhancements/languageDisplay.js +++ b/src/javascript/enhancements/languageDisplay.js @@ -31,7 +31,7 @@ function updateLanguageDisplayListMode(node) { return; } - dopUpdateLanguageDisplay(col, false); + doUpdateLanguageDisplay(col, false); } function updateLanguageDisplayBoxMode(node) { @@ -221,4 +221,4 @@ function dopUpdateLanguageDisplay(parent, isBoxedModed) { }) parent.awpManipulated = true; -} \ No newline at end of file +}