diff --git a/ui-js/cm-provider.js b/ui-js/cm-provider.js
index 0f2c8ea8e8de2f4cd995a0c0bae37eea4832b342..00a9130b52796af5711f3b3e1cf8336df8f3c82d 100644
--- a/ui-js/cm-provider.js
+++ b/ui-js/cm-provider.js
@@ -337,6 +337,7 @@ class CmCoqProvider {
     }
 
     cursorToEnd(stm) {
+        this.editor.scrollTo(0);  // try to get back to the leftmost part
         this.editor.setCursor(stm.end);
     }