From dda3cdcebcf54f1a9e98c6882117a61997fba5b7 Mon Sep 17 00:00:00 2001 From: yann300 Date: Thu, 29 Oct 2020 13:10:14 +0100 Subject: [PATCH] update label --- apps/remix-ide/src/app/tabs/debugger/debuggerUI.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/apps/remix-ide/src/app/tabs/debugger/debuggerUI.js b/apps/remix-ide/src/app/tabs/debugger/debuggerUI.js index dc3ce73c57..8eb4689700 100644 --- a/apps/remix-ide/src/app/tabs/debugger/debuggerUI.js +++ b/apps/remix-ide/src/app/tabs/debugger/debuggerUI.js @@ -235,7 +235,7 @@ class DebuggerUI {

Debugger Configuration

{ this.opt.debugWithGeneratedSources = event.target.checked }} type="checkbox" title="Debug with generated sources"> - +
${this.txBrowser.render()}