Merge pull request #3502 from ethereum/dpatch

restored Download in right click menu

Author: yann300

apps/remix-ide/src/app/tabs/locales/en/filePanel.json

@@ -3,7 +3,8 @@
   "filePanel.workspace": "WORKSPACES",
   "filePanel.create": "Create",
   "filePanel.clone": "Clone",
-  "filePanel.download": "Backup",
+  "filePanel.download": "Download",
+  "filePanel.backup": "Backup",
   "filePanel.restore": "Restore",
   "filePanel.workspace.create": "Create Workspace",
   "filePanel.workspace.rename": "Rename Workspace",
@@ -14,7 +15,7 @@
   "filePanel.workspace.deleteAllConfirm2": "Deleted workspaces can not be restored in any manner.",
   "filePanel.workspace.name": "Workspace name",
   "filePanel.workspace.chooseTemplate": "Choose a template",
-  "filePanel.workspace.download": "Backup Workspaces",
+  "filePanel.workspace.backup": "Backup Workspaces",
   "filePanel.workspace.restore": "Restore Workspaces from the Backup",
   "filePanel.workspace.clone": "Clone Git Repository",
   "filePanel.workspace.cloneMessage": "Please provide a valid git repository url.",

apps/remix-ide/src/app/tabs/locales/zh/filePanel.json

@@ -4,6 +4,7 @@
   "filePanel.create": "新建",
   "filePanel.clone": "克隆",
   "filePanel.download": "下载",
+  "filePanel.backup": "Backup",
   "filePanel.restore": "恢复",
   "filePanel.workspace.create": "新建工作空间",
   "filePanel.workspace.rename": "重命名工作空间",

libs/remix-ui/workspace/src/lib/components/workspace-hamburger.tsx

@@ -45,7 +45,7 @@ export function HamburgerMenu (props: HamburgerMenuProps) {
           props.hideIconsMenu(!showIconsMenu)
         }}></HamburgerMenuItem>
         <Dropdown.Divider className="border mt-0 mb-0 remixui_menuhr" style={{ pointerEvents: 'none' }}/>
-        <HamburgerMenuItem kind='download' fa='far fa-download' hideOption={hideWorkspaceOptions || hideLocalhostOptions} actionOnClick={() => {
+        <HamburgerMenuItem kind='backup' fa='far fa-download' hideOption={hideWorkspaceOptions || hideLocalhostOptions} actionOnClick={() => {
           props.downloadWorkspaces()
           props.hideIconsMenu(!showIconsMenu)
         }}></HamburgerMenuItem>