You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Relying on events for internal state changes leads to bad interleaving and out-of-order updates (#93).
Remove the following subscriptions:
src\Whim\Monitor\MonitorManager.cs:61publicvoidInitialize()62{63// Listen for changes in the monitors.64: SystemEvents.DisplaySettingsChanging+=SystemEvents_DisplaySettingsChanging;65: _configContext.WindowManager.WindowFocused+=WindowManager_WindowFocused;66}6768privatevoidWindowManager_WindowFocused(object?sender,WindowEventArgse)
src\Whim\Monitor\Screen.cs:164//sync the UserPreference.Desktop change event. We'll keep count165//of desktop changes so that the WorkingArea property on Screen166//instances know when to invalidate their cache.167: SystemEvents.UserPreferenceChanged+=newUserPreferenceChangedEventHandler(OnUserPreferenceChanged);168169s_desktopChangedCount=0;170}
src\Whim\Workspace\Workspace.cs:118}119120// Subscribe to window focus events121: _configContext.WindowManager.WindowFocused+=WindowManager_WindowFocused;122}123124privatevoidWindowManager_WindowFocused(object?sender,WindowEventArgse)
src\Whim\Workspace\WorkspaceManager.cs:76}7778// Subscribe to <see cref="IWindowManager"/> events.79:_configContext.WindowManager.WindowRegistered+=WindowManager_WindowRegistered;80: _configContext.WindowManager.WindowUnregistered+=WindowManager_WindowUnregistered;8182// Initialize each of the workspaces.83foreach(IWorkspaceworkspacein_workspaces)
Keep events for plugins to subscribe to changes.
The text was updated successfully, but these errors were encountered:
Relying on events for internal state changes leads to bad interleaving and out-of-order updates (#93).
Remove the following subscriptions:
Keep events for plugins to subscribe to changes.
The text was updated successfully, but these errors were encountered: