Closed GrandSchtroumpf closed 5 years ago
This update add support for remix-plugin: https://github.com/ethereum/remix-plugin
New features :
TODO : Use Bootstrap
<link/>
This update add support for remix-plugin: https://github.com/ethereum/remix-plugin
New features :
TODO : Use Bootstrap
<link/>
tag with the current theme in the plugin, and updates it when the user changes its theme. No need to import it yourself.