public void ChangeWindowTitle(StandardViewportOptions viewportOptions, string windowTitle) { try { var viewportOption = GetExistingStandardViewportAdapter(viewportOptions); viewportOption.MatchSome(viewport => { switch (viewport) { case null: throw new InvalidOperationException( $"No viewport could be found with name {viewportOptions}"); case { } viewportAdapter: var associatedUI = viewportAdapter.ViewportUIElement; var parentWindow = associatedUI.FindParentWindow(); parentWindow.MatchSome(window => window.Title = windowTitle); break; } }); } catch (Exception e) { _logger.Error(e, "Error updating the window title."); } }
public Option <IControlViewportAdapter> GetExistingStandardViewportAdapter( StandardViewportOptions standardViewportOptions) { return(_viewportAdapters.GetValueOrNone(standardViewportOptions.Name)); }