move wrap settings to setting tab

pull/3094/head
yann300 7 years ago
parent 3ea93d0b5a
commit 3a2406284e
  1. 10
      src/app.js
  2. 2
      src/app/tabs/settings-tab.js

@ -568,16 +568,6 @@ Please make a backup of your contracts and start using http://remix.ethereum.org
var node = document.getElementById('staticanalysisView')
node.insertBefore(staticanalysis.render(), node.childNodes[0])
// ----------------- editor resize ---------------
function onResize () {
editor.resize(document.querySelector('#editorWrap').checked)
}
onResize()
self._view.el.addEventListener('change', onResize)
document.querySelector('#editorWrap').addEventListener('change', onResize)
// ----------------- Debugger -----------------
self._view.transactionDebugger = new Debugger('#debugger', new SourceHighlighter())
self._view.transactionDebugger.addProvider('vm', executionContext.vm())

@ -111,7 +111,7 @@ module.exports = class SettingsTab {
<span class="${css.checkboxText}">Always use Ethereum VM at Load</span>
</div>
<div class="${css.crow}">
<div><input id="editorWrap" type="checkbox"></div>
<div><input id="editorWrap" type="checkbox" onchange=${function () { self._deps.editor.resize(this.checked) }}></div>
<span class="${css.checkboxText}">Text Wrap</span>
</div>
<div class="${css.crow}">

Loading…
Cancel
Save