/// <summary>
/// Request the stale UI elements to be refreshed at the first
/// opportunity.
/// </summary>
private void RequestUiRefresh()
{
if (m_uiRefreshGer == null)
{
m_uiRefreshGer = new WmUiRefreshGer(this);
m_wm.Sm.PostGuiExecRequest(m_uiRefreshGer, null);
}
}
/// <summary>
/// Called by the UI refresh GER event.
/// </summary>
public void OnUiRefreshGer(WmUiRefreshGer ger)
{
Debug.Assert(ger == m_uiRefreshGer);
m_uiRefreshGer = null;
UpdateUI();
}
