PRINT_SETTINGS_PRINTER

The key used by the “Print to file” printer to store the printer name.