fixed ugly double scrollbar bug
updated codemirror to 3.1.6