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