+ wxString contents;
+ off_t len = file.Length();
+
+ if (len > 0)
+ {
+ wxChar *buf = contents.GetWriteBuf(len);
+ success = (file.Read(buf, len) == len);
+ contents.UngetWriteBuf();
+ }
+ else
+ success = true; // empty file is ok
+
+ if (success)
+ {
+ SetText(contents);
+ EmptyUndoBuffer();
+ SetSavePoint();
+ }