Fix the stepper beyond page 1.

diff --git a/web/debugger.js b/web/debugger.js
index c759a5ee8342bc9937b368214e92929638883496..aee0c3c774df7d83e28daff2078a7453157f5caa 100644 (file)
--- a/web/debugger.js
+++ b/web/debugger.js
@@ -180,7 +180,7 @@ var StepperManager = (function StepperManagerClosure() {
         this.selectStepper(pageNumber, false);
       return stepper;
     },
-    selectStepper: function selectStepper(pageNumber, selectPanel) {
+    selectStepper: function selectStepper(pageNumber, selectPanel, change) {
       if (selectPanel)
         this.manager.selectPanel(1);
       for (var i = 0; i < steppers.length; ++i) {
@@ -190,6 +190,11 @@ var StepperManager = (function StepperManagerClosure() {
         else
           stepper.panel.setAttribute('hidden', true);
       }
+      var options = stepperChooser.options;
+      for (var i = 0; i < options.length; ++i) {
+        var option = options[i];
+        option.selected = option.value == pageNumber;
+      }
     },
     saveBreakPoints: function saveBreakPoints(pageNumber, bps) {
       breakPoints[pageNumber] = bps;
@@ -234,7 +239,7 @@ var Stepper = (function StepperClosure() {
       for (var i = 0; i < IRQueue.fnArray.length; i++) {
         var line = c('tr');
         line.className = 'line';
-        line.id = 'idx' + i;
+        line.dataset.idx = i;
         table.appendChild(line);
         var checked = this.breakPoints.indexOf(i) != -1;
         var args = IRQueue.argsArray[i] ? IRQueue.argsArray[i] : [];
@@ -299,13 +304,14 @@ var Stepper = (function StepperClosure() {
     },
     goTo: function goTo(idx) {
       var allRows = this.panel.getElementsByClassName('line');
-      for (var x = 0; x < allRows.length; x++) {
-        allRows[x].style.backgroundColor = null;
-      }
-      var row = document.getElementById('idx' + idx);
-      if (row) {
-        row.style.backgroundColor = 'rgb(251,250,207)';
-        row.scrollIntoView();
+      for (var x = 0, xx = allRows.length; x < xx; ++x) {
+        var row = allRows[x];
+        if (row.dataset.idx == idx) {
+          row.style.backgroundColor = 'rgb(251,250,207)';
+          row.scrollIntoView();
+        } else {
+          row.style.backgroundColor = null;
+        }
       }
     }
   };