Matthias Seiffert

> `:source` -ing the file manually does enable the command. That doesn't work for me. I get `E746: Function name does not match script file name: provider#clipboard#Call` (but I'm setting...

Maybe to summarize: When selecting a window in the overview that is currently not fully visible in the workspace, the overview will close (with animation) but then the selected window...

@jtaala already create a PR (#482) and I made a comment there too, but to give an opinion on how it could be implemented, I think: - Add a toggle...

No I think the OP just want to turn off the "auto follow focus" (i.e. when you move the mouse to the other monitor, the focus changes to the last...

I think adding an option to not have "focus follow mouse" would be fine. But I also noticed this behavior. Unfortunately in Gnome dialogs are tied to the "parent" window....

> Specifically, when I move my mouse to the very edge of the screen, when there is another window offscreen, a preview is shown. When I click, the preview disappears....

Ah that's true. I never noticed it because I rarely navigate with the mouse. But also that seems like a separate thing/bug from the display edge margin. Maybe create a...

As a side note: Maybe we should check for the required settings when the extension is enabled. Similarly to #478

> only concern is don't want it to become spammy/naggy. Yes I'm also a bit worried about that. Maybe we can add just one warning notification when you first log...

I pinned the issue. I propose we keep this around (at least until we eventually decide to drop support for gnome 44) and just add to the list.