Bug#1023880: workaround to workspace-switcher applet bad aspect ratio

[David Griffith <dave@661.org>]

A solution was proposed at 
https://ubuntu-mate.community/t/workspace-switcher-scaling-issue-on-ubuntu-mate-21-10-diagnosis-and-temporary-fix/24686/4 
for the same bug occuring in Ubuntu 21.10 dated 16 October 2021.  That 
solution seems to work well for Debian Bookworm:

I substituted "deb.debian.org/debian" for "archive.ubuntu.com/ubuntu". 
Here's what I did:


# Get the packages
cd /tmp
wget -c 
http://deb.debian.org/debian/pool/main/libw/libwnck3/gir1.2-wnck-3.0_3.36.0-1_amd64.deb
wget -c 
http://deb.debian.org/debian/pool/main/libw/libwnck3/libwnck-3-0_3.36.0-1_amd64.deb
wget -c 
http://deb.debian.org/debian/pool/main/libw/libwnck3/libwnck-3-common_3.36.0-1_all.deb

# Install them
sudo apt-get install ./*wnck*.deb

# Pin these packages
cat <<EOF | sudo tee /etc/apt/preferences.d/pin-wnck
Package: gir1.2-wnck-3.0
Pin: version 3.36.0-1
Pin-Priority: 1337

Package: libwnck-3-0
Pin: version 3.36.0-1
Pin-Priority: 1337

Package: libwnck-3-common
Pin: version 3.36.0-1
Pin-Priority: 1337
EOF


--
David Griffith
dave@661.org