set_int

Description:

public void set_int (string key, int value)

Sets key to an integer value.

Parameters:

this

a `GtkPrintSettings`
key

a key
value

an integer