Final fix for dragging window in javascript on windows: