"Magnetic" drop targets that gravitate toward the cursor when dragging tabs in Dia