! in gutter for errors doesn't update in codemirror documents that are not shown #269

Open jamesjuett opened 3 years ago