(x_display_box_cursor): Preserve mouse highlight if the old cursor was in it.