Update git gutter status after debounced delay

Co-authored-by: Max Brunsfeld <max@zed.com>
2022-09-29 13:16:02 -04:00
parent 5157c71fa9
commit 883d5b7a08
5 changed files with 60 additions and 9 deletions
@@ -274,6 +274,7 @@ impl FoldMap {
            if buffer.edit_count() != new_buffer.edit_count()
                || buffer.parse_count() != new_buffer.parse_count()
                || buffer.diagnostics_update_count() != new_buffer.diagnostics_update_count()
+                || buffer.diff_update_count() != new_buffer.diff_update_count()
                || buffer.trailing_excerpt_update_count()
                    != new_buffer.trailing_excerpt_update_count()
            {