Refreshes the contents of the arguments widget.
void GuiUpdateArgumentWidget();
This function has no parameters.
This function does not return a value.
GuiUpdateArgumentWidget();