Merge branch 'master' into slitherfix2

pull/1420/head
bunsenstraat 3 years ago committed by GitHub
commit ea82aef964
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 4
      apps/remix-ide/src/app.js
  2. 2
      apps/remix-ide/src/assets/js/editor/darkTheme.js

@ -419,6 +419,8 @@ Please make a backup of your contracts and start using http://remix.ethereum.org
fn: null
}
)
} else {
startWalkthroughService()
}
// CONTENT VIEWS & DEFAULT PLUGINS
@ -514,6 +516,4 @@ Please make a backup of your contracts and start using http://remix.ethereum.org
if (params.embed) framingService.embed()
framingService.start(params)
startWalkthroughService()
}

@ -109,7 +109,7 @@ ace.define("ace/theme/remixDark",["require","exports","module","ace/lib/dom"], f
}\
.ace-remixDark .ace_type {\
color:#75ceef;\
}]\
}\
.ace-remixDark .ace_visibility (\
color:#f7d777;\
)\

Loading…
Cancel
Save