Cole Gerdemann

I don't think it's worth spending our time on it, since if we can solve the big problem that fixes ALL cases, that would be far better than a bandaid....

No time like the present to learn! We can always use contributors. I went from 0 to being an extensions.gnome.org reviewer relatively quickly. Check out https://gjs.guide/, and join the IRC...

would you mind attaching a screenshot kind of showing what you mean? That would help make this a lot more clear to me anyways

Hmmm. The desktop and overview background should be the same. I don't lead this project, so @aunetx will have to take a look at this and decide whether it is...

I personally feel like this should not be a change we implement. It seems like a good opportunity to create your own extension to implement this change.

yes, unfortunately all blur is rectangular right now. I've done some initial testing and I've got a rough prototype with curved blurring working, but it's very rough. I'm continuing to...

Main problem right now is it causes even more artifacts. like we need more of that. even the paint vfunc doesn't help :/. I've got a few more ideas to...

@aunetx have you seen this? https://github.com/yilozt/mutter-rounded Pretty wacky that a patched mutter is the easiest available solution as of now.. still working on my janky solution but it really doesn't...

this _might_ be solvable with the same approach I've been testing for rounded corners. Will investigate later

What other extensions do you guys have present? Does this issue present itself when blur-my-shell is the only enabled extension?