--- ckeditor.module	2010-11-18 14:41:51.000000000 +0000
+++ ckeditor.module	2010-11-18 16:12:47.000000000 +0000
@@ -856,6 +856,16 @@ function ckeditor_process_textarea($elem
           if ( strcasecmp($value, 'false') == 0 ) {
             $value=FALSE;
           }
+	  // check if value is meant to be an array
+	  // and convert string back into an array
+	  if (preg_match('#^\[(.+)\]$#is', $value, $arr_matches)) {
+	    $value = explode(",", $arr_matches[1]);
+	    // trim quotes and white spaces from
+	    // each end of the strings
+	    foreach ($value as &$val) {
+	      $val = trim($val, " \n\r\t\0\x0B\x22\x27\'\"");
+	    }
+	  }
           $settings[$textarea_id][$matches[2][0]]=$value;
         }
       }