/// <summary>
/// Triggers if a <see cref="Key"/> is pressed while the <see cref="ErrorListView"/> is focused.
/// </summary>
/// <param name="sender">The <see cref="object"/> which triggered the event.</param>
/// <param name="e">The specific <see cref="KeyEventArgs"/>.</param>
private void ErrorListView_PreviewKeyDown(object sender, KeyEventArgs e)
{
if (e.Key == Key.Enter)
{
Task.Factory.StartNew(() => Gui.MistakeSelectorUserInteraction(this.CodeTextBox, this.ErrorListView), CancellationToken.None, TaskCreationOptions.None, this.scheduler);
e.Handled = true;
}
}
/// <summary>
/// Triggers if a <see cref="MouseButton"/> is clicked while the <see cref="ErrorListView"/> is focused.
/// </summary>
/// <param name="sender">The <see cref="object"/> which triggered the event.</param>
/// <param name="e">The specific <see cref="MouseButtonEventArgs"/>.</param>
private void ErrorListView_PreviewMouseDown(object sender, MouseButtonEventArgs e)
{
if (e.ClickCount == 2)
{
Task.Factory.StartNew(() => Gui.MistakeSelectorUserInteraction(this.CodeTextBox, this.ErrorListView), CancellationToken.None, TaskCreationOptions.None, this.scheduler);
e.Handled = true;
}
}