[PD] Change font size for Tk menus

[Lorenzo Sutton]

On 19/03/12 19:30, Hans-Christoph Steiner wrote:
> Check out the GUI plugins for 0.43.  You'll want to use the Tk command 'options'.  With that you can target very specific GUI elements and apply styles to them.
Ok thanks I'll look into that. I wonder if a more generic way exists for 
Tk, in similar fashion to gtk for example.

Lorenzo.
>
> .hc
>
> On Mar 19, 2012, at 1:03 PM, Lorenzo Sutton wrote:
>
>> As per subject: is there a way to increase the font size of the Tk menus etc (i.e. not the patch fonts as done in the fonts menu).
>>
>> On a related note where is the old option to add start-up flags which if I recall correctly was under Edit>  Preferences? Has this been replaced by some config file?
>>
>> Thanks,
>> Lorenzo.
>>
>>
>> _______________________________________________
>> Pd-list at iem.at mailing list
>> UNSUBSCRIBE and account-management ->  http://lists.puredata.info/listinfo/pd-list
>
>
>
>
> ----------------------------------------------------------------------------
>
> "Free software means you control what your computer does. Non-free software means someone else controls that, and to some extent controls you." - Richard M. Stallman
>
>