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

pull/2774/head
bunsenstraat 2 years ago
commit 5fbd9a57b8
  1. 2
      libs/remix-ui/panel/src/lib/plugins/remix-ui-panel.tsx

@ -15,7 +15,7 @@ export function RemixPluginPanel (props: RemixPanelProps) {
<> <>
{props.header} {props.header}
<div className="pluginsContainer"> <div className="pluginsContainer">
<div className='plugins' id='plugins'> <div className='plugins pb-1' id='plugins'>
{Object.values(props.plugins).map((pluginRecord) => { {Object.values(props.plugins).map((pluginRecord) => {
return <RemixUIPanelPlugin key={pluginRecord.profile.name} pluginRecord={pluginRecord} /> return <RemixUIPanelPlugin key={pluginRecord.profile.name} pluginRecord={pluginRecord} />
})} })}

Loading…
Cancel
Save