-
Notifications
You must be signed in to change notification settings - Fork 75
Add icons to dev-environments #1231
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. Weβll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Pull Request Overview
This PR adds custom icons to the Remix IDE and Hardhat entries in the dev-environments navigation file to improve visual identification of these development tools.
- Adds
:custom-remix:icon to Remix IDE navigation entry - Adds
:custom-hardhat:icon to Hardhat navigation entry
π‘ Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
|
@0xlukem merge conflicts. But will wait to merge this til the mkdocs PR is ready too |
|
It took me a while to realize that papermoonio/polkadot-mkdocs#175 exists haha. Thanks, @0xlukem; it looks beautiful. Out of curiosity (and not something important), is there an icon we could use for the "local dev node" so that all the pages in the dev environment section have an icon? Or is it okay to leave it blank? |
nhussein11
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
many thanks!! π
|
@0xlukem the build is failing because it's checking for these icons in the |
π Description
This PR adds the icons for remix and hardhat in dev-environments
This PR needs to be merged with this one: papermoonio/polkadot-mkdocs#175
π Review Preference
Choose one:
π€ AI-Ready Docs
If content changed, regenerate AI files:
python3 scripts/generate_llms.pyβ Checklist