get_int_with_default

Description:

public int get_int_with_default (string key, int def)

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

Parameters:

this

a `GtkPrintSettings`
key

a key
def

the default value

Returns:

the integer value of key