TODO finished: "Active line should change on different themes" by upgrading to CodeMirror 4.11