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@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
_______________________________________________
Pd-list@iem.at mailing list
UNSUBSCRIBE and account-management ->
http://lists.puredata.info/listinfo/pd-list