more minor design fixes, upd codemirror