diff --git a/src/Mod/Sketcher/Gui/DrawSketchHandlerTrimming.h b/src/Mod/Sketcher/Gui/DrawSketchHandlerTrimming.h index 6ece33ec1b..83bbca9a19 100644 --- a/src/Mod/Sketcher/Gui/DrawSketchHandlerTrimming.h +++ b/src/Mod/Sketcher/Gui/DrawSketchHandlerTrimming.h @@ -164,6 +164,11 @@ public: return; } + // FIXME: Attempt to avoid double trimming. This messes up the cursor. + // Possibly `mouseMove` gets triggered after first trim, but before preselection, + // resulting in another edge being deleted. + Gui::Selection().rmvPreselect(); + const Part::Geometry* geo = sketchgui->getSketchObject()->getGeometry(GeoId); if (geo->isDerivedFrom() || geo->is() || geo->is() || geo->is()) {