Change name of debugger to stepper.

diff --git a/src/core.js b/src/core.js
index acd0156443cff3ab804a403a5991d63ed8013bf1..3482f225bfbb2ba57301c18767355a81a7ae345a 100644 (file)
--- a/src/core.js
+++ b/src/core.js
@@ -245,8 +245,8 @@ var Page = (function PageClosure() {
       var length = this.IRQueue.fnArray.length;
       var IRQueue = this.IRQueue;
       var stepper = null;
-      if (PDFJS.pdfBug && Debugger.enabled) {
-        stepper = Debugger.create(this.pageNumber);
+      if (PDFJS.pdfBug && StepperManager.enabled) {
+        stepper = StepperManager.create(this.pageNumber);
         stepper.init(IRQueue);
         stepper.nextBreakPoint = stepper.getNextBreakPoint();
       }

diff --git a/src/debugger.js b/src/debugger.js
index 372ebd68fa17934380f7d4ae5674fe900d2917bb..3741eb0f08f6f73d23f224f0c6ea1e7f61ba13a4 100644 (file)
--- a/src/debugger.js
+++ b/src/debugger.js
@@ -138,7 +138,7 @@ var FontInspector = (function FontInspectorClosure() {
 })();
 
 // Manages all the page steppers.
-var Debugger = (function DeuggerClosure() {
+var StepperManager = (function StepperManagerClosure() {
   var steppers = [];
   var stepperDiv = null;
   var stepperControls = null;
@@ -146,8 +146,8 @@ var Debugger = (function DeuggerClosure() {
   var breakPoints = {};
   return {
     // Poperties/functions needed by PDFBug.
-    id: 'Debugger',
-    name: 'Debugger',
+    id: 'Stepper',
+    name: 'Stepper',
     panel: null,
     manager: null,
     init: function init() {
@@ -167,7 +167,7 @@ var Debugger = (function DeuggerClosure() {
     },
     enabled: false,
     active: false,
-    // Debugger specific functions.
+    // Stepper specific functions.
     create: function create(pageNumber) {
       var debug = document.createElement('div');
       debug.id = 'stepper' + pageNumber;
@@ -179,12 +179,11 @@ var Debugger = (function DeuggerClosure() {
       b.value = pageNumber;
       stepperChooser.appendChild(b);
       var initBreakPoints = breakPoints[pageNumber] || [];
-      var pdfDebuggerStepper = new DebuggerStepper(debug, pageNumber,
-                                                      initBreakPoints);
-      steppers.push(pdfDebuggerStepper);
+      var stepper = new Stepper(debug, pageNumber, initBreakPoints);
+      steppers.push(stepper);
       if (steppers.length === 1)
         this.selectStepper(pageNumber, false);
-      return pdfDebuggerStepper;
+      return stepper;
     },
     selectStepper: function selectStepper(pageNumber, selectPanel) {
       if (selectPanel)
@@ -205,8 +204,8 @@ var Debugger = (function DeuggerClosure() {
 })();
 
 // The stepper for each page's IRQueue.
-var DebuggerStepper = (function DebuggerStepperClosure() {
-  function DebuggerStepper(panel, pageNumber, initialBreakPoints) {
+var Stepper = (function StepperClosure() {
+  function Stepper(panel, pageNumber, initialBreakPoints) {
     this.panel = panel;
     this.len;
     this.breakPoint = 0;
@@ -215,7 +214,7 @@ var DebuggerStepper = (function DebuggerStepperClosure() {
     this.breakPoints = initialBreakPoints;
     this.currentIdx = -1;
   }
-  DebuggerStepper.prototype = {
+  Stepper.prototype = {
     init: function init(IRQueue) {
       function c(tag, textContent) {
         var d = document.createElement(tag);
@@ -256,7 +255,7 @@ var DebuggerStepper = (function DebuggerStepperClosure() {
               self.breakPoints.push(x);
             else
               self.breakPoints.splice(self.breakPoints.indexOf(x), 1);
-            Debugger.saveBreakPoints(self.pageNumber, self.breakPoints);
+            StepperManager.saveBreakPoints(self.pageNumber, self.breakPoints);
           }
         })(i);
 
@@ -278,7 +277,7 @@ var DebuggerStepper = (function DebuggerStepperClosure() {
       return null;
     },
     breakIt: function breakIt(idx, callback) {
-      Debugger.selectStepper(this.pageNumber, true);
+      StepperManager.selectStepper(this.pageNumber, true);
       var self = this;
       var dom = document;
       self.currentIdx = idx;
@@ -314,7 +313,7 @@ var DebuggerStepper = (function DebuggerStepperClosure() {
       }
     }
   };
-  return DebuggerStepper;
+  return Stepper;
 })();
 
 // Manages all the debugging tools.
@@ -326,12 +325,12 @@ var PDFBug = (function PDFBugClosure() {
   return {
     tools: [
       FontInspector,
-      Debugger
+      StepperManager
     ],
     init: function init() {
       /*
        * Basic Layout:
-       * Debugger
+       * PDFBug
        *  Controls
        *  Panels
        *    Panel
@@ -339,7 +338,7 @@ var PDFBug = (function PDFBugClosure() {
        *    ...
        */
       var ui = document.createElement('div');
-      ui.id = 'debugger';
+      ui.id = 'PDFBug';
 
       var controls = document.createElement('div');
       controls.setAttribute('class', 'controls');

diff --git a/web/viewer.css b/web/viewer.css
index 6e40282febb343b05ccabb87e116d25e83c3c9d9..84a79cc83c352099064df0829b49fdbf5b052a9d 100644 (file)
--- a/web/viewer.css
+++ b/web/viewer.css
@@ -404,7 +404,7 @@ canvas {
   text-align: center;
 }
 
-#debugger {
+#PDFBug {
   font-size: 10px;
   position: fixed;
   top: 35px;
@@ -415,12 +415,12 @@ canvas {
   border: 1px solid #666;
   padding: 0;
 }
-#debugger .controls {
+#PDFBug .controls {
   border-bottom: 1px solid #666;
   padding: 3px;
   background: -moz-linear-gradient(center bottom, #eee 0%, #fff 100%);
 }
-#debugger .panels {
+#PDFBug .panels {
   overflow: auto;
   position: absolute;
   top: 27px;
@@ -428,7 +428,7 @@ canvas {
   right: 0;
   bottom: 0;
 }
-#debugger button.active {
+#PDFBug button.active {
   font-weight: bold;
 }
 .debuggerShowText {