1

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

Bruno Pitteli Gonçalves
  • 202
  • 2
  • 11

1 Answers1

0

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.

ptomato
  • 56,175
  • 13
  • 112
  • 165
  • it's bad, because it's very ugly. I would like to make more subtle, like [this](http://imgur.com/FgoOKXe). Any advise? – Bruno Pitteli Gonçalves Oct 13 '15 at 12:41
  • 1
    Open a bug on bugzilla.gnome.org and submit a patch to gtksourceview that allows customizing the markers. For example, with CSS classes and `-gtk-icon-theme` CSS properties. – ptomato Oct 13 '15 at 16:53