Hi,<div><br></div><div>I've noticed a few times that switching tabs causes the gutter to not refresh properly. &nbsp;Switching to a file with fewer lines seems not to refresh the gutter beyond the number of lines in the new file.</div><div><br></div><div>Not sure if this is a known issue. &nbsp;The attached picture is from a file which has 36 lines.</div><div><br></div><div>Also, a brief feature request: &nbsp;Would be awesome to be able to set the background/foreground colour of the gutter to match the highlight theme :-). &nbsp;I realise that this could cause problems with images for folding markers and bookmarks, but we could also have options to set images/colours for those too :-P.</div><div><br></div><div>Cheers,</div><div><br></div><div>David.</div>