I was trying to use a custom picture ( .ICO file) for dragee's drag-graphic, the code is something like this:
set self.dragee = {ImageDragee
drag-graphic =
{Frame
height = 40px,
width = 40px,
background = {FillPattern.from-url {url img-url}}}}
where img-url is a url points to my icon1.ICO (normal 32X32 ico file).
But when the drag operation started, the drag-graphic seems a lot more bigger, definitely not 40px * 40px.
Did I do somthing wrong?