Don't display cmds used on the page by default + turn on worker support for now again

web/viewer.js

@@ -152,8 +152,13 @@ var PDFView = {
     while (container.hasChildNodes())
       container.removeChild(container.lastChild);
 
-    // var pdf = new WorkerPDFDoc(data);
-    var pdf = new PDFDoc(new Stream(data));
+    var pdf;
+    if (true /* Use Worker */) {
+      pdf = new WorkerPDFDoc(data);
+    } else {
+      pdf = new PDFDoc(new Stream(data));
+    }
+
     var pagesCount = pdf.numPages;
     document.getElementById('numPages').innerHTML = pagesCount;
 

worker/boot.js

@@ -51,18 +51,19 @@ var handler = new MessageHandler("worker", {
     // TODO: Handle images here.
     
     console.log("about to send page", pageNum);
-    
-    // Make a copy of the fnArray and show all cmds it has.
-    var fnArray = preCompilation.fnArray.slice(0).sort();
-    for (var i = 0; i < fnArray.length; true) {
-      if (fnArray[i] == fnArray[i + 1]) {
-        fnArray.splice(i, 1);
-      } else {
-        i++;
+   
+    if (false /* show used commands */) {
+      // Make a copy of the fnArray and show all cmds it has.
+      var fnArray = preCompilation.fnArray.slice(0).sort();
+      for (var i = 0; i < fnArray.length; true) {
+        if (fnArray[i] == fnArray[i + 1]) {
+          fnArray.splice(i, 1);
+        } else {
+          i++;
+        }
       }
-    }
-    console.log("cmds", fnArray);
-    
+      console.log("cmds", fnArray);
+    } 
     
     handler.send("page", {
       pageNum:        pageNum,