Skip to content

Conversation

@otsaloma
Copy link
Owner

@otsaloma otsaloma commented Sep 10, 2023

This is a bit simpler than Gtk.Spinner, which doesn't seem to actually spin if some code is blocking. Some kind of an async dance would probably be required to make that work as intended.

There's a bizarre need for a tiny sleep here for the icon to actually change. It could be that the 1/100 s 1/10 s that is enough on my system might not be enough on someone else's system.

Closes #18

This is a bit simpler than Gtk.Spinner, which doesn't seem to actually
spin if some code is blocking. Some kind of an async dance would
probably be required to make that work as intended.

There's a bizarre need for a tiny sleep here for the icon to actually
change. It could be that the 1/100 s that is enough on my system might
not be enough on someone else's system.

Closes #18
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 this pull request may close these issues.

Add spinner to plugin API

2 participants