Skip to content
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

1.6.6 - Board Manager - Loading issue #4310

Closed
4dsystems opened this issue Dec 16, 2015 · 3 comments
Closed

1.6.6 - Board Manager - Loading issue #4310

4dsystems opened this issue Dec 16, 2015 · 3 comments
Labels
Component: Board/Lib Manager Boards Manager or Library Manager Type: Duplicate Another item already exists for this topic
Milestone

Comments

@4dsystems
Copy link

There appears to be an issue with the Board Manager, where if you put a new JSON link in Preferences, then open up the Board Manager, it does not add it to the list. You have to close the Board Manager and then open it again, then it appears.

We did some testing and after adding the JSON, restarted the IDE, then opened the Board Manager, but same deal - the new listing didnt show up until we closed the Board Manager and then opened it again.

Just trying to write instructions on how to add a board, and found this quirk.

Thanks

@lmihalkovic
Copy link

Just watched a video from adafruit a couple days ago about developping a library "... have to stop and restart the IDE when ...".

This non-refresh issue is simple to fix and creating a lot of un-necessary frictions in what is advertised as a "simple and convenient" tool. IMHO it should be a high priority to fix this issue. In my own branch I intend to eventually redo that code.

@per1234
Copy link
Collaborator

per1234 commented Dec 16, 2015

This issue has already been reported(#3795) and fixed in the hourly build.

@4dsystems
Copy link
Author

Thank you for reference to issue 3795. Will document fix available in nightly build and 1.6.7 release, when that is available.

@agdl agdl added this to the Release 1.6.8 milestone Jan 26, 2016
@per1234 per1234 added Component: Board/Lib Manager Boards Manager or Library Manager Type: Duplicate Another item already exists for this topic labels Jul 1, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Component: Board/Lib Manager Boards Manager or Library Manager Type: Duplicate Another item already exists for this topic
Projects
None yet
Development

No branches or pull requests

3 participants