github-mirrors/sourcegit
1
0
Fork 0
mirror of https://fastgit.cc/github.com/sourcegit-scm/sourcegit synced 2026-04-21 13:20:30 +08:00
Code Issues Packages Projects Releases Wiki Activity

fix: sometimes tags did not update after deleting selected tag (#908)

Browse Source
This commit is contained in:
leo
2025-01-15 10:42:35 +08:00
parent 53ec53a6ee
commit 8a472cb472
3 changed files with 23 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/Models/Watcher.cs
View File

@@ -72,6 +72,11 @@ namespace SourceGit.Models
_updateBranch = DateTime.Now.ToFileTime() - 1;
}
public void MarkTagDirtyManually()
{
_updateTags = DateTime.Now.ToFileTime() - 1;
}
public void MarkWorkingCopyDirtyManually()
{
_updateWC = DateTime.Now.ToFileTime() - 1;

6
src/ViewModels/DeleteTag.cs
View File

@@ -33,7 +33,11 @@ namespace SourceGit.ViewModels
{
var remotes = ShouldPushToRemote ? _repo.Remotes : null;
var succ = Commands.Tag.Delete(_repo.FullPath, Target.Name, remotes);
CallUIThread(() => _repo.SetWatcherEnabled(true));
CallUIThread(() =>
{
_repo.MarkTagsDirtyManually();
_repo.SetWatcherEnabled(true);
});
return succ;
});
}

13
src/ViewModels/Repository.cs
View File

@@ -771,6 +771,19 @@ namespace SourceGit.ViewModels
}
}
public void MarkTagsDirtyManually()
{
if (_watcher == null)
{
Task.Run(RefreshTags);
Task.Run(RefreshCommits);
}
else
{
_watcher.MarkTagDirtyManually();
}
}
public void MarkWorkingCopyDirtyManually()
{
if (_watcher == null)