method my_set_label = let f = Glib.Convert.filename_to_utf8 (Filename.basename file) in self#set_label (Printf.sprintf "%s%s" f (if v#modified then " *" else ""))