Помогите найти расширение для гноме.

В GNOME 3 есть как фирменное расширение для меню приложений, так и куча сторонних. Но то, что ты показываешь, снято, судя по внешнему виду, давно — и может уже более не работать.

А вообще, может проще DE сменить? GNOME 3 после добавления кучи расширений начинает жрать заметно больше памяти, тормозить (это всё веб-технологии, серьезно) и зачастую глючить. Официальный девиз гнома — «Жри, что дают — или проваливай! Нормальным людям, а не утятам — удобно!».

Да пусть поиграется, это нормально. Первое время на Линуксе любое ДЕ хочется обвесить по максимуму всякими свистоперделками. Первое время у меня было штук 20 расширений, сейчас - 2 или 3.

https://github.com/zpydr/gnome-shell-extension-taskbar/tree/39b36aba2611c42ce...