Temporary fix for line highlight plugin offset (#40)

Temporary fix for line highlight plugin offset until it's fixed by upstream. Fixes #27 Upstream PR PrismJS/prism#2237
siavashs · May 31, 2020 · aa6f613 · aa6f613
1 parent fecd0ca
commit aa6f613
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/resources/js/prism.js b/src/main/resources/js/prism.js
@@ -13873,7 +13873,7 @@ Prism.languages.xojo = {
 				var endNode = Prism.plugins.lineNumbers.getLine(pre, end);
 
 				if (startNode) {
-					var top = startNode.offsetTop + 'px';
+					var top = startNode.offsetTop - offset * lineHeight + 'px';
 					mutateActions.push(function () {
 						line.style.top = top;
 					});