17 Oct
2016
17 Oct
'16
6:40 p.m.
On Fri, 2016-10-14 at 18:20 +0100, Tris Hoar wrote:
On 14/10/2016 15:45, Toralf Lund wrote:
<snip>
Ok, I think I understand now. Does this not work? https://extensions.gnome.org/extension/4/panel-favorites/
<snip>
This extension will add your favourites from 'Activites' onto the top panel and can be installed in CentOS as it is in the main repo.
sudo yum install gnome-shell-extension-panel-favorites
This maybe something for the original author to try and see if it fits their needs. Unsure about custom launchers with this extension.
Regards
Phil
--
Blog: https://philwyett-hemi.blogspot.co.uk/
GitLab: https://gitlab.com/philwyett_hemi/