Launcher icon size

[Ian Bruntlett]

Hi Liam,

On Fri, 19 Oct 2018 at 17:54, Liam Proven <lproven at gmail.com> wrote:

> On Fri, 19 Oct 2018 at 18:26, Ian Bruntlett <ian.bruntlett at gmail.com>
> wrote:
> > 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.
>
> It's in Tweak.
>
Whereabouts? I've looked through Tweaks' GUI and couldn't spot it. I am
using Ubuntu 18.10.

> Also, is there a Gnome extension I could use to get a "start menu" type
> menu, to make it easier to browse installed programs?
>
> Several.
>
Thanks. I'd prefer to use something out of Ubuntu's package repositories so
I'll try something over the weekend on something not so critical.

BW,


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/918b8c20/attachment.html>