mirror of
https://github.com/sourcegit-scm/sourcegit.git
synced 2024-12-25 21:07:20 -08:00
69 lines
2.2 KiB
C#
69 lines
2.2 KiB
C#
using System;
|
|
using System.Threading.Tasks;
|
|
using System.Windows;
|
|
using System.Windows.Controls;
|
|
using System.Windows.Media;
|
|
using System.Windows.Media.Animation;
|
|
|
|
namespace SourceGit.UI {
|
|
|
|
/// <summary>
|
|
/// Delete tag dialog.
|
|
/// </summary>
|
|
public partial class DeleteTag : UserControl {
|
|
private Git.Repository repo = null;
|
|
private Git.Tag tag = null;
|
|
|
|
/// <summary>
|
|
/// Constructor
|
|
/// </summary>
|
|
/// <param name="repo">Opened repo</param>
|
|
/// <param name="tag">Delete tag</param>
|
|
public DeleteTag(Git.Repository repo, Git.Tag tag) {
|
|
this.repo = repo;
|
|
this.tag = tag;
|
|
|
|
InitializeComponent();
|
|
tagName.Content = tag.Name;
|
|
}
|
|
|
|
/// <summary>
|
|
/// Display this dialog.
|
|
/// </summary>
|
|
/// <param name="repo"></param>
|
|
/// <param name="tag"></param>
|
|
public static void Show(Git.Repository repo, Git.Tag tag) {
|
|
PopupManager.Show(new DeleteTag(repo, tag));
|
|
}
|
|
|
|
/// <summary>
|
|
/// Start request.
|
|
/// </summary>
|
|
/// <param name="sender"></param>
|
|
/// <param name="e"></param>
|
|
private async void Start(object sender, RoutedEventArgs e) {
|
|
PopupManager.Lock();
|
|
|
|
DoubleAnimation anim = new DoubleAnimation(0, 360, TimeSpan.FromSeconds(1));
|
|
anim.RepeatBehavior = RepeatBehavior.Forever;
|
|
statusIcon.RenderTransform.BeginAnimation(RotateTransform.AngleProperty, anim);
|
|
status.Visibility = Visibility.Visible;
|
|
|
|
var push = chkWithRemote.IsChecked == true;
|
|
await Task.Run(() => Git.Tag.Delete(repo, tag.Name, push));
|
|
|
|
status.Visibility = Visibility.Collapsed;
|
|
statusIcon.RenderTransform.BeginAnimation(RotateTransform.AngleProperty, null);
|
|
PopupManager.Close(true);
|
|
}
|
|
|
|
/// <summary>
|
|
/// Cancel.
|
|
/// </summary>
|
|
/// <param name="sender"></param>
|
|
/// <param name="e"></param>
|
|
private void Cancel(object sender, RoutedEventArgs e) {
|
|
PopupManager.Close();
|
|
}
|
|
}
|
|
}
|