https://extensions.gnome.org/extension/584/taskbar/

Używa ktoś tego rozszerzenia? Da się w nim zrobić normalny dolny panel z nazwami okien, a nie same ikony? Wydaje mi się że miałem tak kiedyś, a teraz na Archu nie widzę takiej opcji :|

#pytanie #linux #gnome