WebIDE Save Issue

This needs to be fixed in file.js.
Filewriter used there does not change size of existing file.

//writer.write(new Blob([convertToOS(data)], { type: "text/plain" })); old code
        var bb = new Blob([convertToOS(data)],{ type: "text/plain"} ));
        writer.truncate(bb.size);
        setTimeout(function(evt){ //make sure, truncate is done before writing
          fileWriter.seek(0);     //needed only in special cases
          fileWriter.write(bb);          
        },200);