pub static PRINT_SETTINGS_PRINTER: &GStr
The key used by the “Print to file” printer to store the printer name.