Re: [GUI] Setting properties of a widget.