From 87f3a8457885a0616a4610d8f6509c8d1a2c5ba1 Mon Sep 17 00:00:00 2001 From: yann300 Date: Tue, 13 Feb 2018 12:35:50 +0100 Subject: [PATCH] add remixd info --- src/app/tabs/settings-tab.js | 13 ++++++++++++- src/app/tabs/styles/settings-tab-styles.js | 5 +++++ 2 files changed, 17 insertions(+), 1 deletion(-) 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:
+ + +
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; + } } `