Notice: Undefined index: value in _text_sanitize() (line 319 of /.../modules/field/modules/text/text.module).

Hi. Thank you, a nice module!
I found a bug. I solved it.
Please fix it.
*Sorry, I am not good to speak English.
before

function codemirror_field_field_widget_form(&$form, &$form_state, $field, $instance, $langcode, $items, $delta, $element) {
...
...
  $element['value'] = $widget;

After OK

function codemirror_field_field_widget_form(&$form, &$form_state, $field, $instance, $langcode, $items, $delta, $element) {
...
...
  if ($instance['settings']['text_processing']) {
    $element = $widget;
    $element['#type'] = 'text_format';
    $element['#format'] = isset($items[$delta]['format']) ? $items[$delta]['format'] : NULL;
    $element['#base_type'] = $widget['#type'];
  }
  else {
    $element['value'] = $widget;
  }