public void SwitchFocus(bool alreadyContainedFocus)
 {
     if (alreadyContainedFocus && DiffFiles.Focused)
     {
         DiffText.Focus();
     }
     else
     {
         DiffFiles.Focus();
     }
 }