int set_filename(string filename)
Sets filename as the current filename. Same as unselect_all() followed by select_filename();