method set_title s = let s = if s = "" then "" else ": "^s in toplevel#set_title (Printf.sprintf "%s%s" (Ed_misc.to_utf8 Ed_messages.software) s)