Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Show an alert if there is an update available #7

Open
garubi opened this issue Jan 31, 2024 · 0 comments · May be fixed by #17
Open

Show an alert if there is an update available #7

garubi opened this issue Jan 31, 2024 · 0 comments · May be fixed by #17
Labels
enhancement New feature or request
Milestone
1.3.0

Comments

@garubi
Copy link
Owner

garubi commented Jan 31, 2024

If we release an Editor's update... let the user know it
@garubi garubi added the enhancement New feature or request label Jan 31, 2024
@garubi garubi added this to the 1.3.0 milestone Feb 14, 2024
@garubi garubi changed the title Show an alert if there is an update avilable Show an alert if there is an update available Feb 14, 2024
@garubi garubi linked a pull request Feb 14, 2024 that will close this issue
Show a notice when an update is available #17
Open
@garubi garubi linked a pull request Feb 14, 2024 that will close this issue
Open
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
1.3.0
Development

Successfully merging a pull request may close this issue.

Show a notice when an update is available garubi/push-push-editor
1 participant
@garubi