#3846: Fix for dragging widgets in Firefox.