Merge pull request #1109 from fulldecent/patch-1

Rebrand to Remix IDE
pull/1/head
yann300 7 years ago committed by GitHub
commit e82147c1ab
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      src/app/panels/file-panel.js

@ -82,7 +82,7 @@ function filepanel (appAPI, filesProvider) {
<span class="${css.gist}" title="Publish all open files to an anonymous github gist" onclick=${() => publishToGist(appAPI)}>
<i class="fa fa-github"></i>
</span>
<span class="${css.copyFiles}" title="Copy all files to another instance of Browser-solidity" onclick=${copyFiles}>
<span class="${css.copyFiles}" title="Copy all files to another instance of Remix IDE" onclick=${copyFiles}>
<i class="fa fa-files-o" aria-hidden="true"></i>
</span>
<span onclick=${connectToLocalhost} class="${css.connectToLocalhost}">

Loading…
Cancel
Save