Gutter marks

With this patch, gutter marks can be shown even when the highlight is turned off.