private void WorkspaceSettingsChanged(WorkspacesSettingsChangedEventArgs args) { ScaleFactor = args.ScaleFactor; } }