Merge pull request #27 from JMU-CS/dev

Bug Fixes
JMU-CS · Jul 22, 2024 · 529cf4b · 529cf4b
2 parents 61c6090 + eda87ff
commit 529cf4b
Show file tree

Hide file tree

Showing 6 changed files with 34 additions and 2 deletions.
diff --git a/index.html b/index.html
@@ -7,10 +7,16 @@
   <meta name="viewport" content="width=device-width, initial-scale=1">
   <link rel="stylesheet" href="/index.css">
   <link rel="icon" href="/fallen-leaf_1f342.ico" type="image/x-icon">
+  <link rel="stylesheet"
+  href="https://fonts.googleapis.com/css2?family=Material+Symbols+Rounded:opsz,wght,FILL,[email protected],100..700,0..1,-50..200" />
 </head>
 
 <body>
 
+  <header>
+    <a class="report" href="https://docs.google.com/forms/d/e/1FAIpQLSeo2mUrrhNZejPch9UcQQDHWk5e6ql_xFfFSdS6oiaNA-Tk8Q/viewform?embedded=true">Report a bug <span class="material-symbols-rounded bug">pest_control</span></a>
+  </header>
+
   <div class="container">
     <h1>Welcome to Praxly 🍂</h1>
 
@@ -34,6 +40,7 @@ <h1>Welcome to Praxly 🍂</h1>
       src="/embed.html?button=both&result=both#code=%2F%2F%0A%2F%2F%20Sample%20Question%208%0A%2F%2F%0A%0Avoid%20swap(int%5B%5D%20arr%2C%20int%20i%2C%20int%20j)%0A%20%20%20%20int%20temp%20←%20arr%5Bi%5D%0A%20%20%20%20arr%5Bi%5D%20←%20arr%5Bj%5D%0A%20%20%20%20arr%5Bj%5D%20←%20temp%0Aend%20swap%0A%0Avoid%20sort(int%5B%5D%20arr%2C%20int%20len)%0A%20%20%20%20int%20pos%20←%200%0A%20%20%20%20while%20(pos%20<%20len)%0A%20%20%20%20%20%20%20%20if%20(pos%20%3D%3D%200)%0A%20%20%20%20%20%20%20%20%20%20%20%20pos%20←%20pos%20%2B%201%0A%20%20%20%20%20%20%20%20else%0A%20%20%20%20%20%20%20%20%20%20%20%20if%20(arr%5Bpos%5D%20>%20arr%5Bpos%20-%201%5D)%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20pos%20←%20pos%20%2B%201%0A%20%20%20%20%20%20%20%20%20%20%20%20else%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20swap(arr%2C%20pos%2C%20pos%20-%201)%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20pos%20←%20pos%20-%201%0A%20%20%20%20%20%20%20%20%20%20%20%20end%20if%0A%20%20%20%20%20%20%20%20end%20if%0A%20%20%20%20end%20while%0Aend%20sort%0A%0Aint%5B%5D%20numbers%20←%20%7B2%2C%201%2C%205%2C%203%2C%204%7D%0Asort(numbers%2C%205)%0Aprint%20numbers%0A">
     </iframe>
 
+
     <div class="footer">
       <img src="/images/NSF_logo.png" alt="NSF logo" class="logo">
       <div class="nsf-ack">

diff --git a/public/index.css b/public/index.css
@@ -65,3 +65,23 @@ body {
   flex: 1;
   line-height: 1.5;
 }
+
+.report {
+  color: #2b5e7d;
+  font-size: 25px;
+  position: absolute;
+  top: 0;
+  right: 0;
+  margin: 45px;
+  text-decoration: none;
+}
+
+.report:hover {
+  color: #1a3f56;
+}
+
+.material-symbols-rounded.bug {
+  font-size: 29px;
+  position: absolute;
+  transform: rotate(-45deg);
+}
diff --git a/public/themes.css b/public/themes.css
@@ -526,6 +526,7 @@ body:not(.embed) .resizeBarY {
 
 body:not(.embed) #bottom-part {
   display: flex;
+  overflow: scroll;
   /* Add this */
   flex-direction: row-reverse;
   /* Add this */

diff --git a/src/ast.js b/src/ast.js
@@ -16,6 +16,7 @@ import {
     getStopClicked
 } from "./common";
 import { generateVariableTable, waitForStep } from "./debugger";
+import prand from 'pure-rand';
 
 const FOR_LOOP_LIMIT = 1000000;
 const WHILE_LOOP_LIMIT = 1000;

diff --git a/src/common.js b/src/common.js
@@ -282,8 +282,11 @@ export function getStopClicked() {
     return stopClicked;
 }
 
+const isFirefox = navigator.userAgent.toLowerCase().includes('firefox');
+const fontSize = isFirefox ? 18 : 16;
+
 export const textEditor = ace.edit("aceCode", {
-  fontSize: 18,
+  fontSize: fontSize,
   mode: 'ace/mode/praxly',
 });
 

diff --git a/src/tree2text.js b/src/tree2text.js
@@ -173,7 +173,7 @@ export const tree2text = (node, indentation) => {
                 return `randomInt(${max})`;
             } else if (node.name === 'randomSeed') {
                 const seed = tree2text(node.parameters[0], indentation);
-                return `randomSeed(${seed})\n`;
+                return `randomSeed(${seed})`;
             } else if (node.name === 'int') {
                 const conversion = tree2text(node.parameters[0], indentation);
                 return `int(${conversion})`;