codemirror number control