From c7fbd3c8cbf1c272cb2f9e058b3a756c2448d9e5 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 9 Jan 2020 12:30:34 +0100
Subject: [PATCH] Fix typo in REPL syntax highlighting language name
---
src/main/resources/de/prob2/jupyter/kernelspecfiles/kernel.js | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/resources/de/prob2/jupyter/kernelspecfiles/kernel.js b/src/main/resources/de/prob2/jupyter/kernelspecfiles/kernel.js
index fb55f00..1a8afd3 100644
--- a/src/main/resources/de/prob2/jupyter/kernelspecfiles/kernel.js
+++ b/src/main/resources/de/prob2/jupyter/kernelspecfiles/kernel.js
@@ -335,7 +335,7 @@ define([
});
CodeMirror.defineMIME("text/x-classicalb", "classicalb");
- CodeMirror.defineMIME("text/x-prob2-jupyter-repl", "prob2_jupter_repl");
+ CodeMirror.defineMIME("text/x-prob2-jupyter-repl", "prob2_jupyter_repl");
// CodeMirror doesn't understand the text/latex MIME type by default.
CodeMirror.defineMIME("text/latex", "stex");
--
GitLab