private void StartFoldingUpdateTimer()
        {
            DispatcherTimer foldingUpdateTimer = new DispatcherTimer();

            foldingUpdateTimer.Interval = TimeSpan.FromSeconds(2);
            foldingUpdateTimer.Tick    += delegate { CurrentEditor?.UpdateFoldings(refresh: false); };
            foldingUpdateTimer.Start();
        }