From da0b9b9b75aa1003d8a6d577c2e8a5a13cad6c49 Mon Sep 17 00:00:00 2001
From: Enrico Turri <enricoturri@seznam.cz>
Date: Mon, 26 Nov 2018 08:36:31 +0100
Subject: [PATCH] Generate EVT_GLCANVAS_MOUSE_DRAGGING_FINISHED event after an
 object has been dragged on scene

---
 src/slic3r/GUI/GLCanvas3D.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/slic3r/GUI/GLCanvas3D.cpp b/src/slic3r/GUI/GLCanvas3D.cpp
index b1d10ae6dd..3d1adaf34e 100644
--- a/src/slic3r/GUI/GLCanvas3D.cpp
+++ b/src/slic3r/GUI/GLCanvas3D.cpp
@@ -4781,6 +4781,9 @@ void GLCanvas3D::on_mouse(wxMouseEvent& evt)
             m_regenerate_volumes = false;
             do_move();
             wxGetApp().obj_manipul()->update_settings_value(m_selection);
+            // Let the platter know that the dragging finished, so a delayed refresh
+            // of the scene with the background processing data should be performed.
+            post_event(SimpleEvent(EVT_GLCANVAS_MOUSE_DRAGGING_FINISHED));
         }
         else if (m_gizmos.get_current_type() == Gizmos::SlaSupports && m_hover_volume_id != -1)
         {