[ui] deny dragging the codemirror editor (fixes ajenti-v:#21)