From c6fdabff3e771931551cd1a2f7e3b7813b68fd94 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 9 Aug 2018 13:28:33 +0200
Subject: [PATCH] Update command list in syntax highlighting
---
src/main/resources/de/prob2/jupyter/kernelspecfiles/kernel.js | 4 +++-
1 file changed, 3 insertions(+), 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 3bef874..b91e2c7 100644
--- a/src/main/resources/de/prob2/jupyter/kernelspecfiles/kernel.js
+++ b/src/main/resources/de/prob2/jupyter/kernelspecfiles/kernel.js
@@ -275,11 +275,13 @@ define([
// Command found, switch to the appropriate state or mode.
switch (command[0]) {
case "::load":
+ case ":assert":
case ":constants":
+ case ":dot":
case ":eval":
case ":exec":
+ case ":find":
case ":init":
- case ":initialise":
case ":prettyprint":
case ":solve":
case ":table":
--
GitLab