Merge branch 'master' of https://github.com/ethereum/remix-project into mochatest

pull/3166/head
filip mertens 2 years ago
commit 19b322f834
  1. 2
      apps/remix-ide/src/app/tabs/locales/en-US.js
  2. 2
      libs/remix-ui/workspace/src/lib/components/file-explorer-menu.tsx
  3. 2
      libs/remix-ui/workspace/src/lib/remix-ui-workspace.tsx

@ -60,7 +60,7 @@ export default {
'filePanel.compileForNahmii': 'Compile for Nahmii', 'filePanel.compileForNahmii': 'Compile for Nahmii',
'filePanel.createNewFile': 'Create New File', 'filePanel.createNewFile': 'Create New File',
'filePanel.createNewFolder': 'Create New Folder', 'filePanel.createNewFolder': 'Create New Folder',
'filePanel.publishToGist': 'Publish all the current workspace files (only root) to a github gist', 'filePanel.publishToGist': 'Publish all the current workspace files to a github gist',
'filePanel.uploadFile': 'Load a local file into current workspace', 'filePanel.uploadFile': 'Load a local file into current workspace',
'filePanel.updateGist': 'Update the current [gist] explorer', 'filePanel.updateGist': 'Update the current [gist] explorer',

@ -22,7 +22,7 @@ export const FileExplorerMenu = (props: FileExplorerMenuProps) => {
}, },
{ {
action: 'publishToGist', action: 'publishToGist',
title: 'Publish all the current workspace files (only root) to a github gist', title: 'Publish all the current workspace files to a github gist',
icon: 'fab fa-github', icon: 'fab fa-github',
placement: 'top-start' placement: 'top-start'
}, },

@ -264,7 +264,7 @@ export function Workspace () {
<option style={{fontSize: "small"}} value='remixDefault'>Default</option> <option style={{fontSize: "small"}} value='remixDefault'>Default</option>
<option style={{fontSize: "small"}} value='blank'>Blank</option> <option style={{fontSize: "small"}} value='blank'>Blank</option>
</optgroup> </optgroup>
<optgroup style={{fontSize: "medium"}} label="OpenZepplin"> <optgroup style={{fontSize: "medium"}} label="OpenZeppelin">
<option style={{fontSize: "small"}} value='ozerc20'>ERC20</option> <option style={{fontSize: "small"}} value='ozerc20'>ERC20</option>
<option style={{fontSize: "small"}} value='ozerc721'>ERC721</option> <option style={{fontSize: "small"}} value='ozerc721'>ERC721</option>
<option style={{fontSize: "small"}} value='ozerc1155'>ERC1155</option> <option style={{fontSize: "small"}} value='ozerc1155'>ERC1155</option>

Loading…
Cancel
Save