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