/// <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();
}
public void PostGuiExecRequest(GuiExecRequest req)
{
m_wm.Sm.PostGuiExecRequest(req, this);
}
public WmGuiExecRequest(GuiExecRequest request, Workspace kws)
{
Request = request;
Kws = kws;
}
