Three-year-old gem of a GNOME extension. July 9, 2021March 19, 2021 A small post on my new workflow and appreciation for the GNOME extension ‘Workspace Scroll’.