Open ggrrll opened 5 months ago
Thank you for opening your first issue in this project! Engagement like this is essential for open source projects! :hugs:
If you haven't done so already, check out Jupyter's Code of Conduct. Also, please try to follow the issue template as it helps other other community members to contribute more effectively.
You can meet the other Jovyans by joining our Discourse forum. There is also an intro thread there where you can stop by and say Hi! :wave:
Welcome to the Jupyter community! :tada:
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. https://github.com/jupyterlab/jupyterlab-git/pull/1340 Would you be able to link the issue to the PR?
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