Hi. The vanilla edwin font is too small displayed in a modern high resolution screen. I found the .edwin configure file in [1]. This file adjusts the edwin editor font. But the graphical debugger's font remains the same and it really hurts eyes. How can I enlarge the font?
[1] http://web.mit.edu/6.945/dont-panic/.edwin
