Thanks for the shortcuts, Chris: > I have found GNOME 3 highly more efficient to use than any other desktop. I use GNOME 3.28.2 on old hardware without problems. -- members.iinet.net.au/~kilgallin/