Merge pull request #1 from jtpio/fix-https

Use HTTPS to Pytutor
jupyterlab-contrib · Dec 9, 2022 · 2840010 · 2840010
2 parents 30e177f + 4fcefb4
commit 2840010
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/index.ts b/src/index.ts
@@ -186,7 +186,7 @@ class PyTutorIFrame extends IFrame {
     super();
 
     console.log('SRC: ', src);
-    this.url = `http://pythontutor.com/iframe-embed.html#code=${encodeURIComponent(
+    this.url = `https://pythontutor.com/iframe-embed.html#code=${encodeURIComponent(
       src
     )}&codeDivHeight=900&codeDivWidth=350&cumulative=true&curInstr=0&heapPrimitives=nevernest&origin=opt-frontend.js&py=3&rawInputLstJSON=%5B%5D&textReferences=false`;
     console.log('Full URL: ', this.url);