gutter fixes for codemirror 3