On 20.02.2013 21:44, Gary Furash wrote:
> How do you change the font in the editor?
> Using: latest version on windows 7 w/ JDK 1.7.0_13
> A post from 2 years ago indicates that this was fixed, so I'm assuming
> this was user error.
See menu File --> New Session Properties --> Tab SQL --> Button Font