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