Make the file header widget update its contents in more occasions