a63c44ba2c
The current value, 70%, may end up leaving too much unused space on secondary monitors. The new value of 80% is completely based on trial and error, but seems to work slightly better. Closes https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3820 Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1845>