Changing fonts in the standard R editor

Dear R development  Team
I am a long time user of R with a distinctly poor vision.  I have been
using the standard R interface for many years and am comfortable with it
except for one minor detail.  There seems to be no way to change the font
in the standard R editor.  I think that this used to be possible and would
like it to be brought back in future releases.  At the moment I have many R
command files with font sizes that suit my needs.  By copying these and
renaming I can continue to work with fonts that I like.  It also seems to
work if I start a new file in notepad and set the font size there.  I can
then open this file in the R editor and the font size will be retained.  At
the very least I would like to be sure that work arounds like this remain
possible in any new releases.
Best
John Warner


John H. Warner, PhD, MBA
Director, Biostatistics
CHDI Management / CHDI Foundation
155 Village Boulevard, Suite 200
Princeton, NJ, 08540
(609) 945-9644: office
(609) 751-7345: cell
(609) 452-2160: fax
john.warner at CHDIfoundation.org<mailto:john.warner at CHDIfoundation.org>



        [[alternative HTML version deleted]]