$("#history").html("No history");
} else if (truncate_display_history) {
$("#history").html(print_pv(0, display_lines[0].pretty_pv, 1, 'W', 8, true));
$("#history").html("No history");
} else if (truncate_display_history) {
$("#history").html(print_pv(0, display_lines[0].pretty_pv, 1, 'W', 8, true));