diff --git a/htdocs/js/apps/GraphTool/cubictool.js b/htdocs/js/apps/GraphTool/cubictool.js index a07f026580..b059f9724a 100644 --- a/htdocs/js/apps/GraphTool/cubictool.js +++ b/htdocs/js/apps/GraphTool/cubictool.js @@ -38,6 +38,7 @@ } el.setPosition(JXG.COORDS_BY_USER, [x, el.Y()]); + gt.board.update(); } }, diff --git a/htdocs/js/apps/GraphTool/graphtool.js b/htdocs/js/apps/GraphTool/graphtool.js index e76d02063a..4bd6f88b62 100644 --- a/htdocs/js/apps/GraphTool/graphtool.js +++ b/htdocs/js/apps/GraphTool/graphtool.js @@ -452,6 +452,7 @@ window.graphTool = (containerId, options) => { else if (y > boundingBox[1]) y = boundingBox[1] - gt.snapSizeY; point1.setPosition(JXG.COORDS_BY_USER, [x, y]); + gt.board.update(); }; // Prevent paired points from being moved into the same position by a drag. This diff --git a/htdocs/js/apps/GraphTool/quadratictool.js b/htdocs/js/apps/GraphTool/quadratictool.js index 8b7530dc50..a487077b6e 100644 --- a/htdocs/js/apps/GraphTool/quadratictool.js +++ b/htdocs/js/apps/GraphTool/quadratictool.js @@ -38,6 +38,7 @@ } el.setPosition(JXG.COORDS_BY_USER, [x, el.Y()]); + gt.board.update(); } },