nohum / gnome-shell-extension-ctrl-click-close

Gnome Shell extension to make closing windows in the workspace overview more comfortable