public void Dump(string file)
{
Stream f = idE.FileSystem.OpenFileWrite(file);
if(f == null)
{
idConsole.Warning("couldn't open {0}", file);
}
else
{
using(StreamWriter w = new StreamWriter(f))
{
foreach(string str in _buffer)
{
w.WriteLine(idHelper.RemoveColors(str));
}
}
}
}