Workspace settings
as pointed out by PRATAP, it's available in the gnome tweaks tool which I had forgotten I'd installed.
Related
How to open an APK file in Ubuntu 18.04?
Ubuntu 18.04 LTS hangs up every time with AMD GPU
Copy and paste a bunch of files with different name
Failed installation of package breaks apt-get
Why is a user with root privileges not in ~ anymore?
"/usr/bin/env: ‘node’: No such file or directory" even though it is in PATH
Audio stuttering in Ubuntu 18.04
How to rotate screen in Ubuntu using terminal?
script to show git branch in bash no longer works on ubuntu 18.04
Ethernet not working well in Ubuntu 18.04 on new desktop
Is there to make the login screen appear on the external display in 18.04?
Kubuntu 18.04 can't set default web browser
Recent Posts
Pandas how to find column contains a certain value
Recommended way to install multiple Python versions on Ubuntu 20.04
Build super fast web scraper with Python x100 than BeautifulSoup
How to convert a SQL query result to a Pandas DataFrame in Python
How to write a Pandas DataFrame to a .csv file in Python