internal override void OnDragDropEnd (DragDropEffects effects) { // In the case of a DnD operation (started on MouseDown) // there will be no MouseUp event, so we need to reset // the state here button_pressed = false; }