function processTextAreaKey() {
  if (event != null) {
    if (event.srcElement) {
      if (event.srcElement.value) {
        if (event.keyCode == 9) { // tab character
          if (document.selection != null) {

            document.selection.createRange().text = '    ';
            event.returnValue = false;
          }
          else {
            event.srcElement.value += '    ';
            return false;
          }
        }
      }
    }
  }
}

function hideLineNumbers() {
	lineNumbersElement = document.getElementById("fileEditorAreaNumbers");
	lineNumbersElement.style.color = 'white';
}