Smalltalk › Squeak › Squeak - Dev

Font size of world and docking bar menus?

_‹ Previous Topic Next Topic _›

Classic

List

Threaded

3 messages Options

Hannes Hirzel

Font size of world and docking bar menus?

Hello

How do I set the font size of the world menu and the docking bar menus?

I found nothing in the preferences. Did this change?

Regards Hannes

Chris Muller-3

Re: Font size of world and docking bar menus?

Appearance | fonts | Menu font...

On Sat, Jan 28, 2017 at 7:21 AM, H. Hirzel <[hidden email]> wrote:
> Hello
>
> How do I set the font size of the world menu and the docking bar menus?
>
> I found nothing in the preferences. Did this change?
>
> Regards Hannes
>

Hannes Hirzel

Re: Font size of world and docking bar menus?

Thank you Chris, this gave me the hint to find

Preferences chooseMenuFont

On 1/28/17, Chris Muller <[hidden email]> wrote:

> Appearance | fonts | Menu font...
>
>
> On Sat, Jan 28, 2017 at 7:21 AM, H. Hirzel <[hidden email]> wrote:
>> Hello
>>
>> How do I set the font size of the world menu and the docking bar menus?
>>
>> I found nothing in the preferences. Did this change?
>>
>> Regards Hannes
>>
>
>