如何更改（如果可以）这些图标/标记？我找不到任何关于此的文档！
我正在使用 python 和自定义方案样式，但任何想法都可以提供帮助
问问题
74 次
1 回答
0
不幸的是，字形被硬编码到库中：https ://git.gnome.org/browse/gtksourceview/tree/gtksourceview/gtksourceview.c#n2284
我假设您已经知道可以使用view.props.draw_spaces = 0. 不过，看起来您无法修改它们。
于 2015-10-13T01:00:04.890 回答