pull/3094/head
Iuri Matias 6 years ago committed by yann300
parent a7598b68b6
commit d2c791dcbb
  1. 5
      src/app/debugger/debuggerUI/ButtonNavigator.js
  2. 2
      src/app/debugger/debuggerUI/StepManager.js

@ -36,7 +36,7 @@ var css = csjs`
} }
` `
function ButtonNavigator (_parent, _traceManager) { function ButtonNavigator () {
this.event = new EventManager() this.event = new EventManager()
this.intoBackDisabled = true this.intoBackDisabled = true
this.overBackDisabled = true this.overBackDisabled = true
@ -46,8 +46,6 @@ function ButtonNavigator (_parent, _traceManager) {
this.jumpNextBreakpointDisabled = true this.jumpNextBreakpointDisabled = true
this.jumpPreviousBreakpointDisabled = true this.jumpPreviousBreakpointDisabled = true
this.traceManager = _traceManager
this.currentCall = null
this.revertionPoint = null this.revertionPoint = null
this.view this.view
} }
@ -131,6 +129,7 @@ ButtonNavigator.prototype.updateDisabled = function (id, disabled) {
} }
ButtonNavigator.prototype.resetAndCheckRevertionPoint = function (revertedReason, revertionPoint) { ButtonNavigator.prototype.resetAndCheckRevertionPoint = function (revertedReason, revertionPoint) {
// TODO: since this is only used for the jump, this value should instead be outside of the view
if (revertionPoint) { if (revertionPoint) {
this.revertionPoint = revertionPoint this.revertionPoint = revertionPoint
} }

@ -40,7 +40,7 @@ function StepManager (_parent, _traceManager) {
} }
}) })
this.buttonNavigator = new ButtonNavigator(_parent, this.traceManager) this.buttonNavigator = new ButtonNavigator()
_parent.event.register('indexChanged', this, (index) => { _parent.event.register('indexChanged', this, (index) => {
// if (!this.view) return // if (!this.view) return

Loading…
Cancel
Save