From 90e13ada15437f4251c78b6897f1ba0ad92ef762 Mon Sep 17 00:00:00 2001 From: yann300 Date: Thu, 9 Nov 2023 11:18:36 +0100 Subject: [PATCH] labels --- apps/remix-ide/src/app/tabs/locales/en/settings.json | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/apps/remix-ide/src/app/tabs/locales/en/settings.json b/apps/remix-ide/src/app/tabs/locales/en/settings.json index 2752f19f75..d5496259a0 100644 --- a/apps/remix-ide/src/app/tabs/locales/en/settings.json +++ b/apps/remix-ide/src/app/tabs/locales/en/settings.json @@ -36,5 +36,9 @@ "settings.port": "PORT", "settings.projectID": "PROJECT ID", "settings.projectSecret": "PROJECT SECRET", - "settings.analyticsInRemix": "Analytics in Remix IDE" + "settings.analyticsInRemix": "Analytics in Remix IDE", + "settings.copilot": "Solidity copilot - Alpha", + "settings.copilot.activate": "Load & Activate copilot", + "settings.copilot.max_new_tokens": "Maximum amount of new words to generate", + "settings.copilot.temperature": "Temperature" }