diff --git a/src/main/java/de/prob2/ui/beditor/BEditorView.java b/src/main/java/de/prob2/ui/beditor/BEditorView.java
index d4516e93b..c43563e0f 100644
--- a/src/main/java/de/prob2/ui/beditor/BEditorView.java
+++ b/src/main/java/de/prob2/ui/beditor/BEditorView.java
@@ -539,6 +539,7 @@ private void setEditorText(String text, Path path) {
 			beditor.moveTo(0);
 			beditor.requestFollowCaret();
 			lastSavedText.set(beditor.getText());
+			beditor.clearHistory(); // clear history again to forget setting of text, might fix hhu-stups/prob-issues#363
 			beditor.setEditable(true);
 			LOGGER.debug("Setting editor text took {}", sw.stop());
 		} finally {