} else if (truncate_display_history) {
document.getElementById("history").innerHTML = print_pv(0, null, 8, true);
} else {
- document.getElementById("history").html(
+ document.getElementById("history").innerHTML =
'(<a class="move" href="javascript:collapse_history(true)">collapse</a>) ' +
- print_pv(0, null));
+ print_pv(0, null);
}
}