2014-09-28-14.39.50: src/lib/x-kit/widget/gui/guiboss-imp.pkg:  Add   current_drag: Ref(Null_Or(Drag_State))   field to Topwindow_Info.