mirror
/
remix-project
mirror of https://github.com/ethereum/remix-project.git
2
0
Fork 0
Code Issues Releases Wiki Activity
remix-project mirror
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
2322 Commits
646 Branches
161 Tags
323 MiB
Tag: Branch: Tree: c0146fd6f7
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'c0146fd6f7'
${ noResults }
remix-project/docs/plugin_manager.md

9 lines
751 B
Raw Normal View History Unescape

update to docs for new layout update for new layout update for new layout
6 years ago
Plugin Manager
===================
** This is text copied from layout.md - it needs an image & more info about connect to the local plugin
In order to make Remix flexible for integrating changes into its functionality and for integrating remix into other projects (your's for example), we've now made everything a plugin. This means that you only load the functionality you need. It also means that you need a place to turn off and on plugins - as your needs change. This all happens in the plug manager.
The Plugin Manager is also the place you go when you are creating your own plugin and you want to load your local plugin into Remix. In that case you'd click on the "Connect to a Local Plugin" link at the top of the Plugin Manager panel.