public static bool RefreshGump(Mobile player, object o)
        {
            if (player.HasGump(typeof(ObjectPropertyListGump)))
            {
                ObjectPropertyListGump gump = (ObjectPropertyListGump)player.FindGump(typeof(ObjectPropertyListGump));

                //if this gump that's up is showing this list entry, or if none was specified, then refresh
                if (o == null || gump.Object == o)
                {
                    //then, resend this gump!
                    player.SendGump(new ObjectPropertyListGump(gump));
                    return(true);
                }
            }

            return(false);
        }
		//gump refresh constructor
		public ObjectPropertyListGump( ObjectPropertyListGump oldgump ) : this( oldgump.Owner, oldgump.Object )
		{
		}
 //gump refresh constructor
 public ObjectPropertyListGump(ObjectPropertyListGump oldgump) : this(oldgump.Owner, oldgump.Object)
 {
 }