Editor 编辑编辑器中的字体_Editor

Editor 编辑编辑器中的字体

editor

Editor 编辑编辑器中的字体,editor,Editor,是否可以在GVedit编辑器中更改代码的字体大小我不是指创建的图形中文本的字体，而是源代码的字体大小。将文本从网页或word复制到GVEdit，格式不会更改。但我还没有找到在哪里配置它

是否可以在GVedit编辑器中更改代码的字体大小

我不是指创建的图形中文本的字体，而是源代码的字体大小。

将文本从网页或word复制到GVEdit，格式不会更改。但我还没有找到在哪里配置它