Esempio n. 1
0
 /// <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;
     }
 }
Esempio n. 2
0
 /// <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;
     }
 }