pub static PRINT_SETTINGS_PAGE_SET: &GStr
The key used by the “Print to file” printer to store the set of pages to print.