Remove unused entry point set_truncate_history().

diff --git a/www/js/remoteglot.js b/www/js/remoteglot.js
index 6c220f43cac9dbb2462c12678f02f18304c64025..34b413f2927f9c5bdc5137a4cf2e1e7acc188419 100644 (file)
--- 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