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

Reply via email to