From 574cf9586497730ec2dcae2d6a257e655a3e3206 Mon Sep 17 00:00:00 2001 From: yann300 Date: Mon, 9 Jan 2017 10:34:21 +0100 Subject: [PATCH] label --- src/ui/ButtonNavigator.js | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/ui/ButtonNavigator.js b/src/ui/ButtonNavigator.js index 55ddb7e3c6..8b438d215e 100644 --- a/src/ui/ButtonNavigator.js +++ b/src/ui/ButtonNavigator.js @@ -30,7 +30,7 @@ function ButtonNavigator (_parent, _traceManager) { if (this.currentCall.reverted) { this.revertionPoint = this.currentCall.return this.view.querySelector('#reverted').style.display = 'block' - this.view.querySelector('#reverted #outofgas').style.display = this.currentCall.outOfGas ? 'block' : 'none' + this.view.querySelector('#reverted #outofgas').style.display = this.currentCall.outOfGas ? 'inline' : 'none' this.view.querySelector('#reverted #parenthasthrown').style.display = 'none' } else { var k = callsPath.length - 2 @@ -39,7 +39,7 @@ function ButtonNavigator (_parent, _traceManager) { if (parent.reverted) { this.revertionPoint = parent.return this.view.querySelector('#reverted').style.display = 'block' - this.view.querySelector('#reverted #parenthasthrown').style.display = parent ? 'block' : 'none' + this.view.querySelector('#reverted #parenthasthrown').style.display = parent ? 'inline' : 'none' this.view.querySelector('#reverted #outofgas').style.display = 'none' return } @@ -72,11 +72,11 @@ ButtonNavigator.prototype.render = function () { ` if (!this.view) {