set_ui_int


Description:

public void set_ui_int (string ui, string name, int value)