Skip to content
This repository was archived by the owner on Oct 22, 2021. It is now read-only.

Board Manager & Library Extensions #25

Closed
hypebeans opened this issue Oct 20, 2019 · 2 comments
Closed

Board Manager & Library Extensions #25

hypebeans opened this issue Oct 20, 2019 · 2 comments
Labels
type: enhancement New feature or request

Comments

@hypebeans
Copy link

hypebeans commented Oct 20, 2019 •
edited
Loading

This is a feature request but I would love to this IDE could support more extensions, user-friendly and somehow support GitLens such as VSCode. Live share is a good option for monitoring and teaching people who are new to the IDE. File icons and fonts would be appreciated so we could develop in the IDE comfortably. Because this is just an alpha version, there's still a long way to go. Just giving good luck to the Arduino team and if the team could implement these features I mentioned for the IDE. It would be great! 😊

Don't forget to fix the user interface font, add keyboard shortcuts and simplify the library description (would be nice if there were library icons 😃)
image
@hypebeans hypebeans added the type: enhancement New feature or request label Oct 20, 2019
@hypebeans hypebeans changed the title Feature request for the IDE Board Manager & Library Extensions Oct 20, 2019
@spoenemann
Copy link

fix the user interface font

What's wrong with the font?

add keyboard shortcuts

Done: #17

simplify the library description (would be nice if there were library icons 😃)

Related: #21

@hypebeans
Copy link
Author

What's wrong with the font?
Only the board manager font though if it's unnecessary 🤔

I'll close the issue since enhancements were made.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
type: enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@spoenemann @hypebeans