From c66310fbe7401cc1de7e0a0fcb2d4b8074830c3a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADctor=20Losada=20Hern=C3=A1ndez?= Date: Wed, 13 May 2026 12:09:43 +0200 Subject: [PATCH] linting --- client/components/codeEditor/extensions/customHighlight.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/client/components/codeEditor/extensions/customHighlight.js b/client/components/codeEditor/extensions/customHighlight.js index afccea2d6..63251e49e 100644 --- a/client/components/codeEditor/extensions/customHighlight.js +++ b/client/components/codeEditor/extensions/customHighlight.js @@ -316,7 +316,6 @@ export const customHighlightStyle = HighlightStyle.define([ ]); - function getUrl(node, doc) { let url = null; @@ -333,6 +332,7 @@ function getUrl(node, doc) { return url; } + export function customHighlightPlugin(renderer, tab) { //this function takes the custom tokens created in the tokenize function in customhighlight files //takes the tokens defined by that function and assigns classes to them