示例#1
0
        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;
        }
示例#2
0
 internal WorkspaceOtherViewUIHandler(WorkspaceManager manager)
 {
     _workspaceManager = manager;
 }