Handle read_from_file() exceptions in GUI. #1619