Comment Comment by onefiveone https://extensions.gnome.org/extension/5143/dashbarif you just want quick launch, this is ~500 loc and gets updated on time for new gnome releases parent onefiveone 2 years ago
if you just want quick launch, this is ~500 loc and gets updated on time for new gnome releases