Work-around for Xt selection bug

[xboard.git] / xaw / xhistory.c

diff --git a/xaw/xhistory.c b/xaw/xhistory.c
index 8b6adb1..edaf8c3 100644 (file)
--- a/xaw/xhistory.c
+++ b/xaw/xhistory.c
@@ -99,7 +99,7 @@ ScrollToCursor (Option *opt, int caretPos)
 char *historyText;
 char historyTranslations[] =
 "<Btn3Down>: select-start() \n \
-<Btn3Up>: extend-end() SelectMove() \n";
+<Btn3Up>: extend-end(PRIMARY) SelectMove() \n";
 
 void
 SelectMoveX (Widget w, XEvent * event, String * params, Cardinal * nParams)