diff --git a/src/app/tabs/settings-tab.js b/src/app/tabs/settings-tab.js index ec8906d553..90ea3c3672 100644 --- a/src/app/tabs/settings-tab.js +++ b/src/app/tabs/settings-tab.js @@ -53,6 +53,17 @@ function SettingsTab (container, appAPI, appEvents) { Enable Personal Mode ${warnPersonalMode}> +
+
Remixd
+
+ Remixd is a tool which allow Remix IDE to access files located in your local computer. + it can also be used to setup a development environment. +
+
More infos:
+
https://github.com/ethereum/remixd
+
http://remix.readthedocs.io/en/latest/tutorial_remixd_filesystem.html
+
Installation:
npm install remixd -g
+
Themes
@@ -67,7 +78,7 @@ function SettingsTab (container, appAPI, appEvents) {
-
+
Plugin
diff --git a/src/app/tabs/styles/settings-tab-styles.js b/src/app/tabs/styles/settings-tab-styles.js index 0ad0631794..b0905c6cc3 100644 --- a/src/app/tabs/styles/settings-tab-styles.js +++ b/src/app/tabs/styles/settings-tab-styles.js @@ -70,6 +70,11 @@ var css = csjs` .icon { margin-right: .5em; } + .remixdinstallation { + padding: 3px; + border-radius: 2px; + margin-left: 5px; + } } `