From 568a3907a1277259eb9a0a5ae62cfcf5d7e60bf2 Mon Sep 17 00:00:00 2001
From: Tyler Schicke <tyler_schicke@brown.edu>
Date: Fri, 24 May 2019 01:11:23 -0400
Subject: Fixed firefox user select stuff Made repl multi-line

---
 src/client/views/Main.scss | 3 +++
 src/debug/Repl.tsx         | 6 +++---
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/src/client/views/Main.scss b/src/client/views/Main.scss
index 385298e18..57a53c999 100644
--- a/src/client/views/Main.scss
+++ b/src/client/views/Main.scss
@@ -15,6 +15,9 @@ body {
 
 div {
     user-select: none;
+    -moz-user-select: none;
+    -webkit-user-select: none;
+    -ms-user-select: none;
 }
 
 #dash-title {
diff --git a/src/debug/Repl.tsx b/src/debug/Repl.tsx
index 16aef1925..ef00ed466 100644
--- a/src/debug/Repl.tsx
+++ b/src/debug/Repl.tsx
@@ -10,12 +10,12 @@ class Repl extends React.Component {
 
     @observable executedCommands: { command: string, result: any }[] = [];
 
-    onChange = (e: React.ChangeEvent<HTMLInputElement>) => {
+    onChange = (e: React.ChangeEvent<HTMLTextAreaElement>) => {
         this.text = e.target.value;
     }
 
     onKeyDown = (e: React.KeyboardEvent) => {
-        if (e.key === "Enter") {
+        if (e.ctrlKey && e.key === "Enter") {
             const script = CompileScript(this.text, { addReturn: true, typecheck: false });
             if (!script.compiled) {
                 this.executedCommands.push({ command: this.text, result: "Compile Error" });
@@ -49,7 +49,7 @@ class Repl extends React.Component {
                 <div style={{ verticalAlign: "bottom" }}>
                     {this.commands}
                 </div>
-                <input style={{ width: "100%", position: "absolute", bottom: "0px" }} value={this.text} onChange={this.onChange} onKeyDown={this.onKeyDown} />
+                <textarea style={{ width: "100%", position: "absolute", bottom: "0px" }} value={this.text} onChange={this.onChange} onKeyDown={this.onKeyDown} />
             </div>
         );
     }
-- 
cgit v1.2.3-70-g09d2