/// <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(); }