method my_set_label = self#set_label (Printf.sprintf "%s%s" (utf8_of_filename file#name) (if source_view#buffer#modified then " *" else ""))