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));
}
