public UnreadManager(WorkspaceManager workspaceManager, IResourceTabProvider tabProvider,
ISettingStore settingStore, ICoreProps coreProps)
{
_tabProvider = tabProvider;
_workspaceManager = workspaceManager;
_coreProps = coreProps;
_defaultUnreadState = new UnreadState(this, null, null);
_curUnreadState = _defaultUnreadState;
_store = Core.ResourceStore;
_propUnreadCount = _store.PropTypes.Register("UnreadCount", PropDataType.Int, PropTypeFlags.Internal);
_traceUnreadCounters = settingStore.ReadBool("UnreadCounters", "TraceUnreadCounters", false);
Core.ResourceAP.JobFinished += environment_ResourceOperationFinished;
Enabled = true;
}
public void SetCoreProps(ICoreProps props)
{
_coreProps = props;
}
public CorePropIds(ICoreProps props)
{
_name = new PropId <string>(props.Name);
_parent = new PropId <IResource>(props.Parent);
_longBody = new PropId <string>(props.LongBody);
}