method save = try Tdl.print_file ~encoding: Tdl_gui_rc.encoding#get filename !main_group; tree#set_modified false with Failure s | Sys_error s -> GToolbox.message_box "Error" s