marijnh/CodeMirror2 — comment on commit 50e1abe0b6dc402092f907195c7e2d85220b3dab
File: demo/theme.html line 57
By Page-:

Should this debug statement be removed?