I'm using
property['style.line_number'] = 'fore:$(color.base04),back:$(color.base01)'
and
buffer:set_fold_margin_hi_color(true, property_int['color.base01'])
to provide a minimal differentiation between the text buffer and the 'surroundings' . My students sometimes seem confused by the fold_margin and take it as an additional space in the code. It's a very small help that makes the difference for me too...
I'm using
property['style.line_number'] = 'fore:$(color.base04),back:$(color.base01)'and
to provide a minimal differentiation between the text buffer and the 'surroundings' . My students sometimes seem confused by the fold_margin and take it as an additional space in the code. It's a very small help that makes the difference for me too...