method open_file name =
begin
try
db <- Dbf_sql_io.db_of_file name;
with
| Dbf_sql_io.Invalid_db_file ->
GToolbox.message_box ~title:"Load error"
"Invalid database file"
end;
self#_update_display;
filename <- Some name;
saved <- true