X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=xaw%2Fxhistory.c;h=d46206d6f8a3465ff740f31451aee9ead1bd3002;hb=0aa6203676d6c3e1bfb8fb6a17d801ebecf4c317;hp=51ebf5cf555ccbb198c108d2cb62e2b099843344;hpb=8a0368b7169965529802961fbd16fdfacf3c639d;p=xboard.git

diff --git a/xaw/xhistory.c b/xaw/xhistory.c
index 51ebf5c..d46206d 100644
--- a/xaw/xhistory.c
+++ b/xaw/xhistory.c
@@ -71,13 +71,6 @@ extern Option historyOptions[];
 
 // ------------- low-level front-end actions called by MoveHistory back-end -----------------
 
-void
-HighlightMove (int from, int to, Boolean highlight)
-{
-    if(highlight)
-	XawTextSetSelection( historyOptions[0].handle, from, to ); // for lack of a better method, use selection for highighting
-}
-
 // the bold argument says 0 = normal, 1 = bold typeface
 // the colorNr argument says 0 = font-default, 1 = gray
 void