From b8bab144633660d73362f242bd6a334d9cdfc88b Mon Sep 17 00:00:00 2001 From: "Steinar H. Gunderson" Date: Wed, 27 Dec 2023 20:51:41 +0100 Subject: [PATCH] Remove unused entry point set_truncate_history(). --- www/js/remoteglot.js | 9 --------- 1 file changed, 9 deletions(-) diff --git a/www/js/remoteglot.js b/www/js/remoteglot.js index 6c220f4..34b413f 100644 --- a/www/js/remoteglot.js +++ b/www/js/remoteglot.js @@ -1741,15 +1741,6 @@ function format_tooltip(data, halfmove_num) { } } -/** - * @param {boolean} truncate_history - */ -function set_truncate_history(truncate_history) { - truncate_display_history = truncate_history; - update_refutation_lines(); -} -window['set_truncate_history'] = set_truncate_history; - /** * @param {number} line_num * @param {number} move_num -- 2.39.2