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

Add menu item to restart the app manually #55

Open
sebagr opened this issue Dec 22, 2022 · 4 comments · May be fixed by #57
Open

Add menu item to restart the app manually #55

sebagr opened this issue Dec 22, 2022 · 4 comments · May be fixed by #57

Comments

@sebagr
Copy link

sebagr commented Dec 22, 2022

Not sure why, but sometimes the auto-restart feature when waking up doesn't work for me. I even increased the time from 3s to 5s and more. At any rate, it would be great to add a new item "Restart" in the menubar so we can fix this easily without having to quit the app and find it again to restart.

@artginzburg artginzburg linked a pull request Jan 3, 2023 that will close this issue
@artginzburg
Copy link
Owner

It is ready, we can just add it, but I want to gather feedback about whether the next release fixes auto-reload for everyone. And obviously don't want people to settle for manual reload.

@artginzburg artginzburg pinned this issue Jan 4, 2023
@sebagr
Copy link
Author

sebagr commented Jan 4, 2023

@artginzburg If it helps, I'm on a M1 Pro running Ventura 13.1, and the auto-reload works about 50-70% of the time for me even after increasing the autoRestartOnWake setting to 10s.

Is 2.6.1 the next release you are talking about? I'd be happy to help testing it out.

@artginzburg
Copy link
Owner

autoRestartOnWake was never implemented, sorry for the confusion. Removed it from ReadMe.

2.6.1 is the one. I'm on the same system configuration as you, works 100%. The only edge case I did not test is switching users, but it should also work.

@sebagr
Copy link
Author

sebagr commented Jan 4, 2023

Ahh that explains why it doesn't work :P I'll try 2.6.1 then, thank you! :)

@artginzburg artginzburg unpinned this issue Sep 10, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants