Gnome developer said it should be done via an extension. Reported it here:
https://github.com/home-sweet-gnome/dash-to-panel/issues/1164
Gnome developer said it should be done via an extension. Reported it here:
https:/ /github. com/home- sweet-gnome/ dash-to- panel/issues/ 1164