From f54486d8c84827f6baa308ce8ae7d379a5eca7fb Mon Sep 17 00:00:00 2001
From: Brendan Dahl <brendan.dahl@gmail.com>
Date: Wed, 15 Feb 2012 13:13:07 -0800
Subject: [PATCH] Change how the tools are enabled.

---
 src/debugger.js |  4 ++--
 web/viewer.js   | 17 ++++++++++-------
 2 files changed, 12 insertions(+), 9 deletions(-)

diff --git a/src/debugger.js b/src/debugger.js
index c5fc02aca..372ebd68f 100644
--- a/src/debugger.js
+++ b/src/debugger.js
@@ -374,8 +374,8 @@ var PDFBug = (function PDFBugClosure() {
           tool.init();
         else
           panel.textContent = tool.name + ' is disabled. To enable add ' +
-                              ' PDFBug_' + tool.id + '=true to the url query ' +
-                              'parameters and refresh.';
+                              ' "' + tool.id + '" to the pdfBug parameter ' +
+                              'and refresh (seperate multiple by commas).';
         buttons.push(panelButton);
       }
       this.selectPanel(0);
diff --git a/web/viewer.js b/web/viewer.js
index 46665fd87..5381f69c1 100644
--- a/web/viewer.js
+++ b/web/viewer.js
@@ -1122,16 +1122,19 @@ window.addEventListener('load', function webViewerLoad(evt) {
   if ('disableTextLayer' in params)
     PDFJS.disableTextLayer = (params['disableTextLayer'] === 'true');
 
-  if ('PDFBug' in params)
-    PDFJS.pdfBug = (params['PDFBug'] === 'true');
-
-  if (PDFJS.pdfBug) {
+  if ('pdfBug' in params) {
+    PDFJS.pdfBug = true;
+    var pdfBug = params['pdfBug'];
+    var all = false, enabled = [];
+    if (pdfBug === 'all')
+      all = true;
+    else
+      enabled = pdfBug.split(',');
     var debugTools = PDFBug.tools;
     for (var i = 0; i < debugTools.length; ++i) {
       var tool = debugTools[i];
-      var key = 'PDFBug_' + tool.id;
-      if (key in params)
-        tool.enabled = (params[key] === 'true');
+      if (all || enabled.indexOf(tool.id) !== -1)
+        tool.enabled = true;
     }
     PDFBug.init();
   }