I now set the filename of the infoview when pressing F4.