增加 GraphViz 文本编辑器字体大小 Windows
Increase GraphViz text editor font size Windows
有没有办法增加 GraphViz 中文本编辑器字体的大小和字体?默认字体太小,不易编辑。
不,但请继续阅读!这个非常古老的功能请求
Submitted by erg on Tue, 12/27/2011 - 16:05.
Gvedit can, in principle, support any font, but at present, there is no mechanism by which the user can set this.
表明没有办法,但即便如此,我还是找到了一个有用的解决方法,每当我必须与 GraphViz 编辑器交互时,我每天都会使用它。
如果我仅以较大的字体粘贴来自 Microsoft Word(例如)的一小部分文本,GraphViz 中的控件会接受它。然后我可以继续输入该字体。示例:
我推测这是可行的,因为 GraphViz 中的 "text control" 支持富文本格式。无论如何,这就是我使字体足够大以便使用的方法。只需以您选择的字体从任何文字处理器中粘贴一些文本,然后继续输入。希望这对你有用,我一直这样做。对于默认字体,我的眼睛太老了。 ;)
有没有办法增加 GraphViz 中文本编辑器字体的大小和字体?默认字体太小,不易编辑。
不,但请继续阅读!这个非常古老的功能请求
Submitted by erg on Tue, 12/27/2011 - 16:05. Gvedit can, in principle, support any font, but at present, there is no mechanism by which the user can set this.
表明没有办法,但即便如此,我还是找到了一个有用的解决方法,每当我必须与 GraphViz 编辑器交互时,我每天都会使用它。
如果我仅以较大的字体粘贴来自 Microsoft Word(例如)的一小部分文本,GraphViz 中的控件会接受它。然后我可以继续输入该字体。示例:
我推测这是可行的,因为 GraphViz 中的 "text control" 支持富文本格式。无论如何,这就是我使字体足够大以便使用的方法。只需以您选择的字体从任何文字处理器中粘贴一些文本,然后继续输入。希望这对你有用,我一直这样做。对于默认字体,我的眼睛太老了。 ;)