Some more display in the margin in the editor