get_int_with_default

Description:

[ Version ( since = "2.10" ) ]
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 PrintSettings
key

a key
def

the default value

Returns:

the integer value of key