font_changed 相关文章列表 - ZHANKR

首页标签「font_changed」的内容如下：

技术

gedit embeded terminal 设置字体颜色

gedit embeded terminal 设置字体颜色

程序员艳花 2022-11-16

/usr/lib/gedit/plugins/terminal.py# -*- …

查看详情 3,636