https://extensions.gnome.org/extension/701/top-panel-workspace-scroll/

		_def on Sept 17, 2020 \| parent \| context \| favorite \| on: Material Shell – A modern desktop interface for GN... https://extensions.gnome.org/extension/701/top-panel-workspa...