void setGUIProperty(guiProperty name, string value) { setGUIProperty(name.ToString(), value); }
string getGUIProperty(guiProperty name) { return getGUIProperty(name.ToString()); }
private void setGUIProperty(guiProperty which, string value) { setGUIProperty(which.ToString(), value); }
void clearGUIProperty(guiProperty name) { clearGUIProperty(name.ToString()); }
private string getGUIProperty(guiProperty which) { return getGUIProperty(which.ToString()); }