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
_______________________________________________
oXygen-user mailing list
[email protected]
http://www.oxygenxml.com/mailman/listinfo/oxygen-user
