我正在使用edwin編輯器,它帶有mit gnu方案。當我使用下面的命令「scheme -edwin -edit」在Debian系統上打開它時,我得到了編輯器窗口,但它的字體非常小。如何更改edwin編輯器的字體大小?
即使經過多次搜索,我無法弄清楚如何更改編輯器的默認字體大小。我嘗試了下面的命令((ref-command set-default-font)「200」),但無濟於事。我可以在這裏找到一個參考http://courses.csail.mit.edu/6.844/spring05-6844/handouts/edwin.ini但它沒有多大幫助。
如何更改edwin中的字體大小?
非常感謝。它對我來說非常合適。 –
很高興能幫到你! – Rptx