Ejemplo n.º 1
0
 /// <summary>
 /// New instance.
 /// </summary>
 /// <param name="r">List of Run objects that need to be searched.</param>
 /// <param name="hh">Highlight handler to send hits to.</param>
 public NewSearchNeededEventArgs(List <Run> r, HighlightHandler hh)
 {
     run = r; this.hh = hh;
 }
Ejemplo n.º 2
0
 /// <summary>
 /// New instance.
 /// </summary>
 /// <param name="r">List of Run objects that need to be searched.</param>
 /// <param name="hh">Highlight handler to send hits to.</param>
 public NewSearchNeededEventArgs(List<Run> r, HighlightHandler hh) { run = r; this.hh = hh; }
Ejemplo n.º 3
0
 /// <summary>
 /// Empty args.
 /// </summary>
 public static NewSearchNeededEventArgs Empty(HighlightHandler handler)
 {
     return(new NewSearchNeededEventArgs(null, handler));
 }
Ejemplo n.º 4
0
 /// <summary>
 /// Empty args.
 /// </summary>
 public static NewSearchNeededEventArgs Empty(HighlightHandler handler){return new NewSearchNeededEventArgs(null, handler);}