X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=xaw%2Fxhistory.c;h=d46206d6f8a3465ff740f31451aee9ead1bd3002;hb=f360f5c49d27a95ca64e5755c42156ee1f7e95db;hp=51ebf5cf555ccbb198c108d2cb62e2b099843344;hpb=b602e7faa8f3973c5b3c4ae00108eaea982ea196;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