/// <summary>
/// Represents a patch selection. Gives the option that is currently selected for this patch in the View.
/// </summary>
/// <param name="patch">The patch that this object identifies a selection from</param>
/// <param name="selection">The selected text</param>
public PatchSelection(Patch patch, string selection)
{
this.patch = patch;
this.selection = selection;
}
/// <summary>
/// Represents a patch selection. Gives the option that is currently selected for this patch in the View.
/// </summary>
/// <param name="patch">The patch that this object identifies a selection from</param>
/// <param name="selection">The selected text</param>
public PatchSelection(Patch patch, string selection)
{
this.patch = patch;
this.selection = selection;
}