Launcher icon size

[Ian Bruntlett]

Hi,

I'd like to decrease the size of Launcher icons on Ubuntu 18.04 to make
room for even more icons. I've looked in settings, looked at Gnome Tweaks
but haven't found anything there.

Also, is there a Gnome extension I could use to get a "start menu" type
menu, to make it easier to browse installed programs?

TIA,


Ian

-- 
-- ACCU - Professionalism in programming - http://www.accu.org
-- My writing - https://sites.google.com/site/ianbruntlett/
-- Free Software page -
https://sites.google.com/site/ianbruntlett/home/free-software
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.ubuntu.com/archives/ubuntu-users/attachments/20181019/ef91e9ab/attachment.html>