/// <summary> /// This method should be called when the state of the workspace /// changes. /// </summary> public void OnStateChange(WmStateChange c) { if (c == WmStateChange.Internal || c == WmStateChange.Permanent) { Cd.PermanentRevID++; } if (c == WmStateChange.Permanent || c == WmStateChange.Transient) { Cd.TransientRevID++; WmEAnp.OnWmStateChange(); } }
/// <summary> /// This method should be called when the state of the WM changes. /// </summary> public static void OnStateChange(WmStateChange c) { if (c == WmStateChange.Internal || c == WmStateChange.Permanent) Cd.PermanentRevID++; if (c == WmStateChange.Permanent || c == WmStateChange.Transient) { Cd.TransientRevID++; WmEAnp.OnWmStateChange(); } }