From 0933d8e54c47bed330db09dd7543e1e73a310a95 Mon Sep 17 00:00:00 2001
From: Steven Hugg <hugg@fasterlight.com>
Date: Sat, 29 Apr 2017 14:38:50 -0400
Subject: [PATCH] "works best in firefox" message

---
 index.html               | 6 ++++++
 src/worker/workermain.js | 1 +
 2 files changed, 7 insertions(+)

diff --git a/index.html b/index.html
index 30edfedc..becce047 100644
--- a/index.html
+++ b/index.html
@@ -61,6 +61,7 @@ body {
     <button id="dbg_memory" type="submit" title="Show Memory" style="display:none"><span class="glyphicon glyphicon-sunglasses" aria-hidden="true"></span></button>
     <button id="dbg_profile" type="submit" title="Show Profile" style="display:none"><span class="glyphicon glyphicon-stats" aria-hidden="true"></span></button>
   </span>
+  <span id="best_in_firefox" style="display:none;font-size:12px;font-style:italic;float:right;color:#666">Note: Works best in Firefox</span>
 </div>
 <div id="notebook">
   <div id="workspace">
@@ -181,6 +182,11 @@ body {
   startUI(true);
 </script>
 
+<script>
+  var isFirefox = navigator.userAgent.toLowerCase().indexOf('firefox') > -1;
+  if (!isFirefox && platform_id != 'vcs') { $("#best_in_firefox").show(); }
+</script>
+
 </body>
 <script>
   (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
diff --git a/src/worker/workermain.js b/src/worker/workermain.js
index 888234fe..b05dadba 100644
--- a/src/worker/workermain.js
+++ b/src/worker/workermain.js
@@ -741,6 +741,7 @@ function compileSDCC(code, platform) {
   else code = preproc.code;
 
   load("sdcc");
+  //load("wasm/sdcc");
   //console.profile("sdcc");
   var params = PLATFORM_PARAMS[platform];
   if (!params) throw Error("Platform not supported: " + platform);