当前位置: 首页 > 工具软件 > GTKWave > 使用案例 >

更改gtkwave的字体大小

郑功
2023-12-01

创建~/.gtkwaverc配置文件,写入:

use_big_fonts 12
 类似资料: