gtk:print-settings-int-with-default (settings key default)

settings -- a gtk:print-settings object
key -- a string for a key
default -- an integer for the default value

The integer for key.

Returns the value for key, interpreted as an integer, or the default value.