add clear button

pgbovine · pgbovine · commit 0392a68f5856 · 2013-09-26T23:24:14.000-04:00
diff --git a/v3/css/opt-frontend.css b/v3/css/opt-frontend.css
@@ -63,7 +63,7 @@ button.smallBtn {
 }
 
 button.bigBtn {
-  font-size: 13pt;
+  font-size: 12pt;
   padding: 6px;
   margin-top: 6px;
 }
diff --git a/v3/js/opt-frontend.js b/v3/js/opt-frontend.js
@@ -231,6 +231,10 @@ $(document).ready(function() {
   $("#executeBtn").attr('disabled', false);
   $("#executeBtn").click(executeCodeFromScratch);
 
+  $("#clearBtn").click(function() {
+    pyInputCodeMirror.setValue('');
+  });
+
 
   // canned examples
 
diff --git a/v3/visualize.html b/v3/visualize.html
@@ -104,6 +104,7 @@
 
 <p>
 <button id="executeBtn" class="bigBtn" type="button">Visualize Execution</button>
+<button style="margin-left: 10px;" id="clearBtn" class="bigBtn" type="button">Clear</button>
 </p>
 
 
