set_int


Description:

public bool set_int (string key, int value)

Sets key in this to value.

A convenience variant of @set for 32-bit integers.

It is a programmer error to give a key that isn't specified as having a int32 type in the schema for this.

Parameters:

this

a Settings object

key

the name of the key to set

value

the value to set it to

Returns:

true if setting the key succeeded, false if the key was not writable