7 ms·
https://extensions.gnome.org/extension/5143/dashbar https://extensions.gnome.org/extension/5143/dashbar if you just want quick launch, this is ~500 loc and get
by onefiveone 2y ago
https://extensions.gnome.org/extension/5143/dashbar https://extensions.gnome.org/extension/5143/dashbar
if you just want quick launch, this is ~500 loc and gets updated on time for new gnome releases