[vw7.10] Change font in workspace (and editor)?

> Hallo Steffen,
>
> If you are looking for something that changes the font *everywhere*, I  
> have this in my scripts basket:
>
> TextAttributes
>         styleNamed: #Goes
>         put: (TextAttributes new
>                 setCharacterAttributes: (CharacterAttributes  
> newWithDefaultAttributes
>                         setDefaultQuery: (FontDescription new family:  
> #('verdana' 'Times New Roman' 'helv' 'helvetica' 'arial' '*')
>                                 ;       pixelSize: 13
>                                 ;       italic: false
>                                 ;       boldness: 0.5
>                                 ;       underline: false
>                                 ;       strikeout: false
>                                 ;       shadow: false
>                                 ;       outline: true
>                         )
>                 )
>         )
> ;       setDefaultTo: #Goes
> ;       resetViews
>
> It sets the default font to the defined one, so it also affects the RB  
> lists (packages, classes, protocols,...) etc.
> There probably are more elegant solutions around, but it works.
>
> p.
>
>
> -----Original Message-----
> From: [hidden email] [mailto:[hidden email]] On  
> Behalf Of Steffen Märcker
> Sent: dinsdag 13 mei 2014 20:43
> To: vwnc
> Subject: [vwnc] [vw7.10] Change font in workspace (and editor)?
>
> Hello,
>
> how do I change the font used in the workspace (and code editor)?. I  
> have RBCodeHighlighting loaded, in case that's relevant.
>
> Cheers!
> Steffen
> _______________________________________________
> vwnc mailing list
> [hidden email]
> http://lists.cs.uiuc.edu/mailman/listinfo/vwnc