method load_file f = self#execute_file f; file <- Some f; param#main#set_title (param#window_title_prefix^": "^f)