Launcher icon size

[Colin Law]

On Fri, 19 Oct 2018 at 17:26, Ian Bruntlett <ian.bruntlett at gmail.com> wrote:
>
> 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.

It is not in Tweaks, it is in Settings > Dock

Colin

>
> 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
>
> --
> ubuntu-users mailing list
> ubuntu-users at lists.ubuntu.com
> Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-users