Is there any way to change the font size of the goto symbol (ctrl-R) window?
The default font size of the drop down list seems to be about 6-8 (which is way
too small for my aging eyes.)
Correspondingly, I would also like increase the drop window window size itself,
especially the Y-height. Any way to change that as well?
Thanks.