从GtkSourceView上的选项卡空间更改标记/图标

Question

如何更改（如果可以）这些图标/标记？我找不到任何关于那个的文档！

我使用python和自定义方案样式，但任何想法都可以帮助

Answer 1

不幸的是，字形被硬编码到库中：https://git.gnome.org/browse/gtksourceview/tree/gtksourceview/gtksourceview.c#n2284

我假设你已经知道你可以用view.props.draw_spaces = 0完全关闭它们。但是看起来你无法修改它们。