| public LinePushedEventArgs ( string sourceLineText, int displayedLineIndex, string displayedLineText ) : System | ||
| sourceLineText | string | |
| displayedLineIndex | int | |
| displayedLineText | string | |
| return | System | |
public LinePushedEventArgs(string sourceLineText, int displayedLineIndex, string displayedLineText)
{
this.SourceLineText = sourceLineText;
this.DisplayedLineIndex = displayedLineIndex;
this.DisplayedLineText = displayedLineText;
this.SavedText = displayedLineText;
}