docs: function postToSource()
  			{
  				// clear unnecessary tags when editor view empty
  				var sourceStrings = editor.text()=="" && editor.html().length<12 ? "" : editor.html();
  				
  				thisElement.val(extractToText(sourceStrings));
  			}