Gary Lee Nelson

The documentation says that font size can be changed from the font menu but

I need a 16 point size which isn't on that menu. Can I add sizes to the

menu? Is there a fontsize message for textedit?

I already tried saving my patch as text and editing the font size parameter

The documentation says that font size can be changed from the font menu but
I need a 16 point size which isn't on that menu.  Can I add sizes to the
menu?  Is there a fontsize message for textedit?

I already tried saving my patch as text and editing the font size parameter
of textedit.  Didn't work.

Cheers
Gary Lee Nelson
Oberlin College
www.timara.oberlin.edu/GaryLeeNelson

additional-font-sizes-for-textedit

Found it. Edit the patcher as text and change the font size in "window

On 4/3/07 12:33 PM, "Gary Lee Nelson" wrote:

> The documentation says that font size can be changed from the font menu but

> I need a 16 point size which isn't on that menu. Can I add sizes to the

> menu? Is there a fontsize message for textedit?

> I already tried saving my patch as text and editing the font size parameter

Found it.  Edit the patcher as text and change the font size in "window
setfont" line

On 4/3/07 12:33 PM, "Gary Lee Nelson"  wrote:

> The documentation says that font size can be changed from the font menu but
> I need a 16 point size which isn't on that menu.  Can I add sizes to the
> menu?  Is there a fontsize message for textedit?
>
> I already tried saving my patch as text and editing the font size parameter
> of textedit.  Didn't work.
>
> Cheers
> Gary Lee Nelson
> Oberlin College
> www.timara.oberlin.edu/GaryLeeNelson
>
>

I understand you problem. If you want to different size fonts so This 

has many different styles and size of text and fonts that can be put on us for different purposes and platforms. This is a great text generator that makes your contacts different, unique and eye-catching.

I understand you problem. If you want to different size fonts so  This Weird Text Generator has many different styles and size of text and fonts that can be put on us for different purposes and platforms. This is a great text generator that makes your contacts different, unique and eye-catching. 

Additional font sizes for textedit