Thank you for the positive comments! I do not have the knowledge or time to fix the problem. Writing a Gnome extension was new to me as well, but not difficult. After seeing zero evidence of progress on the bug over many years, I had given up hope that it would get fixed.
I hope that the existence of the Gnome extension does not delay a real fix. I suspect that it won't because I'm guessing the eventual fix will be the side-effect of some other change.
Thank you for the positive comments! I do not have the knowledge or time to fix the problem. Writing a Gnome extension was new to me as well, but not difficult. After seeing zero evidence of progress on the bug over many years, I had given up hope that it would get fixed.
I hope that the existence of the Gnome extension does not delay a real fix. I suspect that it won't because I'm guessing the eventual fix will be the side-effect of some other change.