MarginWidget: Moved in dragging_, mouse_point_, and mouse_down_point_
DecodeTrace: Remove hide_hover_annotation() as it's only used once