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