1
A
回答
0
不幸的是，字形硬编码到库：https://git.gnome.org/browse/gtksourceview/tree/gtksourceview/gtksourceview.c#n2284
我假设你已经知道你可以使用view.props.draw_spaces = 0完全关闭它们。但看起来你不能修改它们。
相关问题
- 1. 更改活动标签上的图标
- 2. 更改Eclipse标签图标
- 3. 更改facebook标签图标
- 4. 更改标记图标
- 5. Matplotlib图例：标记上面的标签
- 6. 如何更改cpanel图标的标签？
- 7. 更改字体标签中间标题
- 8. 更改标准标签栏图标的标题
- 9. 无法从PHP文件更改Google地图标记的图标
- 10. 如何更改openlayers标记图标？
- 11. 用javascript更改图标标记
- 12. 更改标签
- 13. 更改标签
- 14. 更改标签
- 15. 更改标签
- 16. 更改标签标题
- 17. Google Maps API v3，删除标记图标或更改为“空白”？
- 18. 在woocommerce上更改标记
- 19. 更改Google地图标记
- 20. 如何更改鼠标上的图标？
- 21. Android如何更改选项卡上的标签图标点击
- 22. 在Google地图标记上添加标签和图标
- 23. 更改Google地图上的可拖动标记光标
- 24. 间距，并与标签的标记
- 25. 将Google Maps标记图标更改为自定义图标
- 26. 鼠标悬停更改标记图标（谷歌地图V3）
- 27. 从笔记本标签获取标签
- 28. 属性更改标签颜色标签
- 29. 更新Android标签图标
- 30. 更改softkeyboard上的图标
这很糟糕，因为它非常难看。我想更细微一点，比如[this]（http://imgur.com/FgoOKXe）。有任何建议吗？ –
在bugzilla.gnome.org上打开一个bug，并向gtksourceview提交一个允许自定义标记的补丁。例如，使用CSS类和'-gtk-icon-theme' CSS属性。 – ptomato