[ jEdit-users ] changeUIFonts

[Tim V. <ti...@su...>]

Hello,

I'm sure this has been asked before, but I want to change the=
 font size 
throughout the JEdit application.  I've seen some mention of a 
changeUIFonts.bsh macro in the newsgroups.  However, I can't find=
 that 
macro in JEdit or on the community site's macro list.  Does=
 anyone know 
whether this macro would do the trick, and where I could find it?=
  
Thanks for your help.

JEdit v3.2.2, win2k

Tim