Definition at line 925 of file workspace_window_manager.h.
Definition at line 926 of file workspace_window_manager.h.