/// <summary> /// Post a GUI execution request to the workspace manager. /// If kws is non-null, the workspace will be bound to the request. /// </summary> public void PostGuiExecRequest(GuiExecRequest req, Workspace kws) { // Create the request and add it to the workspace manager. WmGuiExecRequest wreq = new WmGuiExecRequest(req, kws); m_wm.UiBroker.WmGuiExecRequestQueue.Enqueue(wreq); // Increment the reference count of the workspace. We don't want // it to be removed while we have pending requests. if (kws != null) kws.AddRef(); // Post a GUI execution wake up event, if required. PostGuiExecWakeUpEventIfneeded(); }