我正在使用 mit gnu 方案附带的 edwin 编辑器。当我在我的 Debian 系统上使用以下命令“scheme -edwin -edit”打开它时,我得到了编辑器窗口,但它的字体非常小。
即使经过多次搜索,我也无法弄清楚如何更改编辑器的默认字体大小。我尝试了以下命令((ref-command set-default-font)“200”)但无济于事。我可以在这里找到参考http://courses.csail.mit.edu/6.844/spring05-6844/handouts/edwin.ini但这并没有多大帮助。
如何更改 edwin 中的字体大小?