Merk: what solution are other themes using with regard to GNOME3 Shell. Are other themes switching to a vertical bar? It might make sense to have some standardisation.
Merk: what solution are other themes using with regard to GNOME3 Shell. Are other themes switching to a vertical bar? It might make sense to have some standardisation.