Add top panel workspace scroll
Could you implement top panel workspace scroll. Here is an extension that does it https://extensions.gnome.org/extension/701/top-panel-workspace-scroll/ if you could look at this extension and implement all of the settings it has, this would be good.