New answers tagged gnome-shell
You could do that via a gnome-shell extension: workspace-switcher-popup-thumbnails Download the zip file and either use gnome-tweak-tool to install it or extract the archive and move the resulting directory to ~/.firstname.lastname@example.org note the name of the ...
After dithering a bit, I replaced gnome-session with a wrapper: $ cat /usr/local/bin/gnome-session #! /bin/sh /usr/lib/fingerprint-gui/fingerprint-polkit-agent -d & exec /usr/bin/gnome-session "$@" The fingerprint-gui Polkit agent is horribly ugly, though:
Top 50 recent answers are included