Beispiel #1
0
 private void UpdateWorkspaceActiveDocument()
 {
     if (!(surfaceTabs.SelectedTab is ErrorListTabPage))
     {
         _workspace.ActiveDocument = _workspace.GetDocument(surfaceTabs.SelectedTab);
     }
     else
     {
         _workspace.ActiveDocument = null;
     }
 }