pythongtkgeditgtksourceview

Change markers/icons from tab space on GtkSourceView


How can I change (if I can) These icons/markers? I could not find any docs about that!

enter image description here

I'm using python, and custom scheme style, but any idea can help


Solution

  • Unfortunately, the glyphs are hardcoded into the library: https://git.gnome.org/browse/gtksourceview/tree/gtksourceview/gtksourceview.c#n2284

    I assume you already know you can turn them off altogether with view.props.draw_spaces = 0. It looks like you can't modify them, though.