deploy: 5bc461d

index.html

@@ -7,7 +7,11 @@
     <script src="https://cdn.jsdelivr.net/npm/[email protected]/js/jquery.terminal.min.js"></script>
     <script src="https://cdn.jsdelivr.net/npm/[email protected]/js/unix_formatting.min.js"></script>
     <script src="https://lib.imjoy.io/imjoy-loader.js"></script>
+    <script src="https://cdn.jsdelivr.net/npm/prismjs/prism.js"></script>
+    <script src="https://cdn.jsdelivr.net/npm/jquery.terminal/js/prism.js"></script>
+    <script src="https://unpkg.com/[email protected]/components/prism-python.js"></script>
     <link href="https://cdn.jsdelivr.net/npm/[email protected]/css/jquery.terminal.min.css" rel="stylesheet" />
+    <link href="https://cdn.jsdelivr.net/npm/prismjs/themes/prism.css" rel="stylesheet" />
     <!-- add icon -->
     <link rel="icon" href="https://imjoy.io//static/icons/favicon-32x32.png" />
     <!-- add title -->
@@ -591,6 +595,8 @@
             }
             term.resume();
 
+            $.terminal.syntax('python')
+
             const showCode = toBool(urlParams.get("show_code"), true);
             const code = urlParams.get("code");
             if (code) {