protected Widget StringValue(object value) { if (value == null) return StringValue (null, false); else return StringValue (value.ToString(), false); }