void RunFile(string filename)
{
if (In != null)
{
string ext = Path.GetExtension(filename);
switch (ext)
{
case ".ss":
case ".sls":
case ".scm":
string cmd = string.Format("(load \"{0}\")\n", filename.Replace("\\", "/"));
atb.AppendText(cmd);
atb.Invalidate();
AddCommand(cmd.TrimEnd('\n'));
In.Write(cmd);
In.Flush();
break;
}
}
}
