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. 更改OpenLayers標記圖標
- 6. 更改Google地圖標記的圖標
- 7. Matplotlib圖例:標記上面的標籤
- 8. 如何更改cpanel圖標的標籤?
- 9. 更改字體標籤中間標題
- 10. 更改標籤上的form_for
- 11. 更改標籤上的類
- 12. 如何更改圖表標籤上的小數點並更改標籤位置?
- 13. jQuery更改標籤和圖標對齊?
- 14. 如何更改Google地圖標記上的圖標
- 15. 更改標準標籤欄圖標的標題
- 16. 無法從PHP文件更改Google地圖標記的圖標
- 17. 使用Jmapping更改標記圖標
- 18. 如何更改標記圖標?
- 19. 在searchview中更改x標記圖標
- 20. 用javascript更改圖標標記
- 21. 如何更改openlayers標記圖標?
- 22. 更改輸入動態標籤插件上的空間
- 23. 更改標籤
- 24. 標籤更改
- 25. 更改標籤
- 26. 更改標籤
- 27. 更改標籤
- 28. 更改標籤標題
- 29. 更改標籤標題
- 30. 使用Prototype更改標籤的標籤?
這很糟糕,因爲它非常難看。我想更細微一點,比如[this](http://imgur.com/FgoOKXe)。有任何建議嗎? –
在bugzilla.gnome.org上打開一個bug,並向gtksourceview提交一個允許自定義標記的補丁。例如,使用CSS類和'-gtk-icon-theme' CSS屬性。 – ptomato