mirror of
https://github.com/zed-industries/zed.git
synced 2024-10-23 23:09:42 +00:00
Merge remote-tracking branch 'origin/master' into upload-release
This commit is contained in:
commit
6c51ce9595
1 changed files with 1 additions and 0 deletions
|
@ -145,6 +145,7 @@ impl Worktree {
|
|||
|
||||
if self.is_scanning() && !self.poll_scheduled {
|
||||
ctx.spawn(|this, mut ctx| async move {
|
||||
smol::Timer::after(Duration::from_millis(100)).await;
|
||||
this.update(&mut ctx, |this, ctx| {
|
||||
this.poll_scheduled = false;
|
||||
this.poll_entries(ctx);
|
||||
|
|
Loading…
Reference in a new issue