public void Execute(IReplWindow window, string arguments)
{
using (var stream = new StreamReader(arguments)) {
string line;
while ((line = stream.ReadLine()) != null) {
if (line.StartsWith("%%")) {
window.PasteText(String.Empty);
} else {
window.PasteText(line);
}
}
}
window.PasteText(window.CurrentView.Options.GetNewLineCharacter());
}
public void Execute(IReplWindow window, string arguments)
{
using (var stream = new StreamReader(arguments)) {
string line;
while ((line = stream.ReadLine()) != null)
{
if (!line.StartsWith("%%"))
{
window.PasteText(line);
}
}
}
window.PasteText(window.TextView.Options.GetNewLineCharacter());
}