change comment position

This commit is contained in:
yggverse 2025-02-15 19:58:45 +02:00
parent 2a535c7c60
commit deda967d95

View File

@ -34,10 +34,10 @@ impl Memory {
}
}
// prevent duplicates at the last history position
// e.g. on page reload with `follow_to_index` enabled
match index.last() {
Some(last) => {
// prevent duplicates at the last history position
// e.g. on page reload with `follow_to_index` enabled
if *last != value {
index.push(value);
}