MarginWidget: Moved in dragging_, mouse_point_, and mouse_down_point_
[pulseview.git] / icons / document-open.png
icons/document-open.png