set_double

Description:

public void set_double (string key, double value)

Sets key to a double value.

Parameters:

this

a `GtkPrintSettings`
key

a key
value

a double value