Thanks for the feedback. I'm closing this bug accordingly.
Note that "Delete this seriously flawed extension!" (on https://extensions.gnome.org/extension/937/laine/ and https://gitlab.com/jhoran/Laine/issues/52) is not usually considered constructive feedback. I'm sure the developers of that extension will be more than happy to investigate and fix the problem, now that it has been reported to them. Wording the report in friendly terms wouldn't hurt.
Thanks for the feedback. I'm closing this bug accordingly.
Note that "Delete this seriously flawed extension!" (on https:/ /extensions. gnome.org/ extension/ 937/laine/ and https:/ /gitlab. com/jhoran/ Laine/issues/ 52) is not usually considered constructive feedback. I'm sure the developers of that extension will be more than happy to investigate and fix the problem, now that it has been reported to them. Wording the report in friendly terms wouldn't hurt.