在 GtkSourceView 上从选项卡 space 更改 markers/icons
Change markers/icons from tab space on GtkSourceView
如何更改（如果可以）这些 icons/markers？我找不到任何相关文档！
我正在使用 python 和自定义方案样式，但任何想法都可以提供帮助
不幸的是，字形被硬编码到库中：https://git.gnome.org/browse/gtksourceview/tree/gtksourceview/gtksourceview.c#n2284
我假设您已经知道可以使用 view.props.draw_spaces = 0 将它们完全关闭。不过，您似乎无法修改它们。
如何更改（如果可以）这些 icons/markers？我找不到任何相关文档！
我正在使用 python 和自定义方案样式，但任何想法都可以提供帮助
不幸的是，字形被硬编码到库中：https://git.gnome.org/browse/gtksourceview/tree/gtksourceview/gtksourceview.c#n2284
我假设您已经知道可以使用 view.props.draw_spaces = 0 将它们完全关闭。不过，您似乎无法修改它们。