If I start the printer setup dialog by "sudo gnome-cups-manager", then changes to the printer options are preserved (and shown in the "Properties" dialog of the printer).
Strangely, these settings are not used when printing, and, more strangely, the web interface of CUPS shows different settings than gnome-cups-manager.
If I start the printer setup dialog by "sudo gnome-cups- manager" , then changes to the printer options are preserved (and shown in the "Properties" dialog of the printer).
Strangely, these settings are not used when printing, and, more strangely, the web interface of CUPS shows different settings than gnome-cups-manager.