Skip to content

Sugestion: refresh file from disk #7284

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.

Sign up for GitHub

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

Jump to bottom
Closed
Nircek opened this issue Mar 5, 2018 · 1 comment
Closed

Sugestion: refresh file from disk #7284

Nircek opened this issue Mar 5, 2018 · 1 comment
Labels
Type: Duplicate Another item already exists for this topic

Comments

@Nircek
Copy link

Nircek commented Mar 5, 2018

Please add option to refresh file from disk, it's very useful
@per1234
Copy link
Collaborator

per1234 commented Mar 5, 2018

Closing as duplicate of #5345

We welcome bug reports and feature requests but in the future please take the time to search for existing open and closed issues and pull requests before submitting an issue:
https://github.com/arduino/Arduino/issues?&q=
If you do find the issue has already been reported or a fix has been submitted, you are welcome to give it a "thumbs up" by clicking on the smiley face icon at the top right to show your support. Please only comment on the issue if you have additional information to add.

@per1234 per1234 closed this as completed Mar 5, 2018
@per1234 per1234 added the Type: Duplicate Another item already exists for this topic label Mar 5, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Type: Duplicate Another item already exists for this topic
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@per1234 @Nircek