search

maoschanz / appfolders-manager-gnome-extension

A GNOME extension allowing easy management of "appfolders" directly from the applications grid.
GNU General Public License v3.0
94 stars 24 forks source link

[Feature Request] #21

Closed Warmuser closed 7 years ago

Warmuser commented 7 years ago

Please, add the possibility to Add the AppFolders to the favourites in Dash to panel/Dash to dock extensions.

maoschanz commented 7 years ago

This possibility doesn't exist in the "vanilla" dash, nor in Dash to dock, nor in Dash to panel. The idea is good, but the part of the interface to tweak is very different, and it should be a standalone extension