fix warning if parent reverted

8 years ago · ea48d5f54b
parent 899f381bfb
commit ea48d5f54b
1 changed files with 1 additions and 1 deletions
--- a/src/ui/ButtonNavigator.js
+++ b/src/ui/ButtonNavigator.js
@ -34,7 +34,7 @@ function ButtonNavigator (_parent, _traceManager) {
          this.view.querySelector('#reverted #parenthasthrown').style.display = 'none'
        } else {
          var k = callsPath.length - 2
-          while (k > 0) {
+          while (k >= 0) {
            var parent = callsPath[k]
            if (parent.reverted) {
              this.revertionPoint = parent.return