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

2 years ago · 740c912061
parent 07cc6c7307 dbc364436d
commit 740c912061
1 changed files with 1 additions and 1 deletions
--- a/libs/remix-ui/panel/src/lib/plugins/remix-ui-panel.tsx
+++ b/libs/remix-ui/panel/src/lib/plugins/remix-ui-panel.tsx
@ -15,7 +15,7 @@ export function RemixPluginPanel (props: RemixPanelProps) {
    <>
      {props.header}
      <div className="pluginsContainer">
-        <div className='plugins' id='plugins'>
+        <div className='plugins pb-1' id='plugins'>
          {Object.values(props.plugins).map((pluginRecord) => {
            return <RemixUIPanelPlugin key={pluginRecord.profile.name} pluginRecord={pluginRecord} />
          })}