public void OpenFile()
 {
     Editor editor = Editors.Open();
     if (editor != null)
         SelectedEditor = editor;
 }
 public void NewFile()
 {
     SelectedEditor = Editors.New();
 }