public virtual int WidthSet { get; }

public:
virtual property int WidthSet {
	int get ();
}