X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=xhistory.c;h=6e2c0cd34c03871c45e98b43289e57c7beed007e;hb=b9c6b5e9fcd6321336ec28f25833530db79b928d;hp=7ce2d31af4b42293121beb9e484c0c5ff4cc73eb;hpb=e70077aab0199817f37aef9ed0bdba1bbca93b45;p=xboard.git diff --git a/xhistory.c b/xhistory.c index 7ce2d31..6e2c0cd 100644 --- a/xhistory.c +++ b/xhistory.c @@ -70,25 +70,29 @@ extern Option historyOptions[]; // ------------- low-level front-end actions called by MoveHistory back-end ----------------- -void HighlightMove( int from, int to, Boolean highlight ) +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 } -void ClearHistoryMemo() +void +ClearHistoryMemo () { ClearTextWidget(&historyOptions[0]); } // the bold argument says 0 = normal, 1 = bold typeface // the colorNr argument says 0 = font-default, 1 = gray -int AppendToHistoryMemo( char * text, int bold, int colorNr ) +int +AppendToHistoryMemo (char * text, int bold, int colorNr) { return AppendText(&historyOptions[0], text); // for now ignore bold & color stuff, as Xaw cannot handle that } -void ScrollToCurrent(int caretPos) +void +ScrollToCurrent (int caretPos) { Arg args[10]; char *s; @@ -131,29 +135,28 @@ Option historyOptions[] = { // ------------ standard entry points into MoveHistory code ----------- -Boolean MoveHistoryIsUp() +Boolean +MoveHistoryIsUp () { return shellUp[7]; } -Boolean MoveHistoryDialogExists() +Boolean +MoveHistoryDialogExists () { return shells[7] != NULL; } -void HistoryPopUp() +void +HistoryPopUp () { if(GenericPopUp(historyOptions, _("Move list"), 7)) XtOverrideTranslations(historyOptions[0].handle, XtParseTranslationTable(historyTranslations)); - MarkMenu("menuView.Show Move History", 7); + MarkMenu("Show Move History", 7); } void -HistoryShowProc(w, event, prms, nprms) - Widget w; - XEvent *event; - String *prms; - Cardinal *nprms; +HistoryShowProc () { if (!shellUp[7]) { ASSIGN(historyText, "");