text file edit object

[Batista, Facundo]

#- file = TextFile( "foo.txt" )
#- del file[:-10] # remove last 10 lines
#- file.save()

myfile = open("foo.txt", "r")
mylines = myfile.readlines()[:-10]
myfile.writelines(mylines)
myfile.close()

I only see two problems with this:
	- Poor performance on very big files
	- Bad support on "hanging in the middle"


.	Facundo