MarginWidget: Moved in dragging_, mouse_point_, and mouse_down_point_
[pulseview.git] / contrib / pulseview.desktop
2013-05-19 Alexandru Gagniuccontrib: Add pulseview.desktop file