/// <summary> /// Saves the state of <see cref="CurrentMonitor"/> /// </summary> protected override void Save() { if (null != CurrentMonitor) { CurrentMonitor.Save(); } }
/// <summary> /// Constructor. /// </summary> /// <param name="sp"></param> /// <param name="extensionDirectory"></param> public SrcMLGlobalService(IServiceProvider sp, string extensionDirectory) { SrcMLFileLogger.DefaultLogger.InfoFormat("Constructing a new instance of SrcMLGlobalService in {0}", extensionDirectory); serviceProvider = sp; SrcMLServiceDirectory = extensionDirectory; statusBar = (IVsStatusbar)Package.GetGlobalService(typeof(SVsStatusbar)); _taskManager = (ITaskManagerService)Package.GetGlobalService(typeof(STaskManagerService)); SaveTimer = new ReentrantTimer(() => CurrentMonitor.Save(), _taskManager.GlobalScheduler); SaveInterval = DEFAULT_SAVE_INTERVAL; }
void SaveTimer_Elapsed(object sender, ElapsedEventArgs e) { CurrentMonitor.Save(); }