GVedit Editor中的字體

Question

是否可以在GVedit Editor中更改代碼的字體大小？

我不是指創建圖形中文本的字體，而是源代碼的字體大小。

Answer 1

將文字從網頁或文字複製到GVEdit，格式不會改變。 但我沒有找到配置它的位置。