Yes the feature you want is a mutter/gnome-shell thing, but that's not a bug. The only bug here is in the gnome-control-center GUI.
Yes the feature you want is a mutter/gnome-shell thing, but that's not a bug. The only bug here is in the gnome-control- center GUI.