Siddh Raman Pant
Siddh Raman Pant
@mosquito I think the PR is good. Can it be merged?
Can we get a version bump to get this and #93 via pypi?
How does this fix #1405? It would be a good idea to add a commit message.
> I don't know why, but after making this change the issue went away. How did you reproduce it?
> > How did you reproduce it? > > 'm not sure how to reproduce this for sure. > But this often happens when there is little free RAM, such...
If you mean internet speed, then yes.
Cause: https://gitlab.gnome.org/GNOME/gtk/-/merge_requests/7836
Relevant: https://github.com/forge-ext/forge/issues/278 https://gjs.guide/extensions/review-guidelines/review-guidelines.html#do-not-import-gtk-libraries-in-gnome-shell
The hack isn't needed since this issue has already been fixed.
Fixed by #1771. Didn't realise this wasn't closed.