X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=xhistory.c;fp=xhistory.c;h=0551ce1f5bf3c849de9dfaa182a3da75675afdfd;hb=f360f5c49d27a95ca64e5755c42156ee1f7e95db;hp=cddf04eff7dde87fb7c550f06ba7b63fe666e713;hpb=b602e7faa8f3973c5b3c4ae00108eaea982ea196;p=xboard.git

diff --git a/xhistory.c b/xhistory.c
index cddf04e..0551ce1 100644
--- a/xhistory.c
+++ b/xhistory.c
@@ -49,22 +49,6 @@ extern Option historyOptions[];
 // ------------- low-level front-end actions called by MoveHistory back-end -----------------
 
 void
-HighlightMove (int from, int to, Boolean highlight)
-{
-    static int init = 0;
-    static GtkTextIter start, end;
-
-    if(!init) {
-	init = 1;
-	gtk_text_buffer_create_tag(historyOptions[0].handle, "highlight", "background", "yellow", NULL);
-	gtk_text_buffer_create_tag(historyOptions[0].handle, "normal", "background", "white", NULL);
-    }
-    gtk_text_buffer_get_iter_at_offset(historyOptions[0].handle, &start, from);
-    gtk_text_buffer_get_iter_at_offset(historyOptions[0].handle, &end, to);
-    gtk_text_buffer_apply_tag_by_name(historyOptions[0].handle, highlight ? "highlight" : "normal", &start, &end);
-}
-
-void
 ScrollToCurrent (int caretPos)
 {
     static GtkTextIter iter;