private void LoadLineFromSourceFile(int i)
{
var line = CreateLine();
fs.Seek(sourceFileLinePositions[i], SeekOrigin.Begin);
StreamReader sr = new StreamReader(fs, fileEncoding);
var s = sr.ReadLine();
if (s == null)
{
s = "";
}
//call event handler
if (LineNeeded != null)
{
var args = new LineNeededEventArgs(s, i);
LineNeeded(this, args);
s = args.DisplayedLineText;
if (s == null)
{
return;
}
}
foreach (var c in s)
{
line.Add(new Char(c));
}
base.lines[i] = line;
}
private void LoadLineFromSourceFile(int i)
{
var line = CreateLine();
fs.Seek(sourceFileLinePositions[i], SeekOrigin.Begin);
StreamReader sr = new StreamReader(fs, fileEncoding);
var s = sr.ReadLine();
if (s == null)
s = "";
//call event handler
if(LineNeeded!=null)
{
var args = new LineNeededEventArgs(s, i);
LineNeeded(this, args);
s = args.DisplayedLineText;
if (s == null)
return;
}
foreach (var c in s)
line.Add(new Char(c));
base.lines[i] = line;
}
