29 Sep
2008
29 Sep
'08
1:47 p.m.
George Cristian Bina wrote:
See Options->Preferences -- Fonts.
Ouch, how have I missed that one! :-) I was looking in the "Editor" branch.
The number of preferences is large and the best approach when you want to find something is to use the filter in the top left part of the preferences dialog.
Really nice! I will do the next time. Thank you and sorry for the noise, --drkm