Douglas Hanley

Yep, so to switch what window is being shown, you can either use the scroll wheel (if you have one) on miniview, or hold shift and left/right click on miniview....

I think a lot of people rely on the target window being stable, so that you can quickly toggle miniview on and off. That said, it does make sense to...

Yup, definitely a good idea. Will work on this too. Thanks for the input!

Cool idea! And quite doable. I'm thinking you'll give it a string or pattern to match windows and it'll pick the best one on startup (and optionally when new windows...

I think (1) would be theoretically possible, however it would require a good bit of work to make sure things work well. My worry is that it would overcomplicate the...

This would be very cool. I could imagine an interface similar to the android photos crop tool, which you could activate with shift+click. It would take a bit of work...

Thanks for the report! Sorry for the slow reply here. Yeah, I've bumped into that issue before. I'm able to trigger it if I move the mouse outside of the...

That sounds great! Let me know if you need any pointers along the way. I'm happy to help. In addition to a general reset option, I was thinking having a...

@kctang yeah, that's quite the pickle you're in there. It seems like unloading and loading the extension doesn't reset the size/position/opacity ephemera. You'll need to reset gnome-shell to really reset...

Ok, new version is here and up on extensions.gnome.org! It has the new reset feature and also a change that should stop this issue from happening in the first place.