4 ms·

You might be interested by this Gnome extension http://gfxmonk.net/shellshape/ http://gfxmonk.net/shellshape/

• im3w1l 6y ago
  So this made me look into extensions more generally, and I ended up getting dash-to-panel which solves my grouping issue!