chiark / gitweb /
Handle drag-motion and drag-leave and highlight the drop target. This