-
Notifications
You must be signed in to change notification settings - Fork 311
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
pop up delay #1319
Comments
Thank you for opening your first issue in this project! Engagement like this is essential for open source projects! 🤗 |
The underlying popups do support auto hiding after a delay, but I think an option to configure it is not exposed. I think PR would be welcome. |
Hi @krassowski, I'm working on a PR that allows users to customize popup duration in the settings. Also I noticed the git clone command has its own plugin, hence requiring its own setting. Should we put the command back into the general plugin? |
Hi,
thanks for the extension!
it would be nice to be able to set the delay of the popus (for commit / push / pull , etc...) , which seem to hang there indefinitely
(or is there already ? )
thanks
The text was updated successfully, but these errors were encountered: