add configure test for xdg-programs to install mime types; can be disabled for buildi...
[xboard.git] / xengineoutput.c
1 /*
2  * Engine output (PV)
3  *
4  * Author: Alessandro Scotti (Dec 2005)
5  *
6  * Copyright 2005 Alessandro Scotti
7  *
8  * Enhancements Copyright 2009, 2010, 2011, 2012 Free Software Foundation, Inc.
9  *
10  * ------------------------------------------------------------------------
11  *
12  * GNU XBoard is free software: you can redistribute it and/or modify
13  * it under the terms of the GNU General Public License as published by
14  * the Free Software Foundation, either version 3 of the License, or (at
15  * your option) any later version.
16  *
17  * GNU XBoard is distributed in the hope that it will be useful, but
18  * WITHOUT ANY WARRANTY; without even the implied warranty of
19  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
20  * General Public License for more details.
21  *
22  * You should have received a copy of the GNU General Public License
23  * along with this program. If not, see http://www.gnu.org/licenses/.
24  *
25  * ------------------------------------------------------------------------
26  ** See the file ChangeLog for a revision history.  */
27
28 #include "config.h"
29
30 #include <stdio.h>
31 #include <ctype.h>
32 #include <errno.h>
33 #include <sys/types.h>
34
35 #if STDC_HEADERS
36 # include <stdlib.h>
37 # include <string.h>
38 #else /* not STDC_HEADERS */
39 extern char *getenv();
40 # if HAVE_STRING_H
41 #  include <string.h>
42 # else /* not HAVE_STRING_H */
43 #  include <strings.h>
44 # endif /* not HAVE_STRING_H */
45 #endif /* not STDC_HEADERS */
46
47 #if HAVE_UNISTD_H
48 # include <unistd.h>
49 #endif
50
51 #include <X11/Intrinsic.h>
52 #include <X11/StringDefs.h>
53 #include <X11/Shell.h>
54 #include <X11/Xaw/Dialog.h>
55 #include <X11/Xaw/Form.h>
56 #include <X11/Xaw/List.h>
57 #include <X11/Xaw/Label.h>
58 #include <X11/Xaw/SimpleMenu.h>
59 #include <X11/Xaw/SmeBSB.h>
60 #include <X11/Xaw/SmeLine.h>
61 #include <X11/Xaw/Box.h>
62 #include <X11/Xaw/Paned.h>
63 #include <X11/Xaw/MenuButton.h>
64 #include <X11/cursorfont.h>
65 #include <X11/Xaw/Text.h>
66 #include <X11/Xaw/AsciiText.h>
67 #include <X11/Xaw/Viewport.h>
68 #include <X11/Xatom.h>
69 #include <X11/Xmu/Atoms.h>
70
71 #include "common.h"
72 #include "frontend.h"
73 #include "backend.h"
74 #include "xboard.h"
75 #include "engineoutput.h"
76 #include "gettext.h"
77
78 #ifdef ENABLE_NLS
79 # define  _(s) gettext (s)
80 # define N_(s) gettext_noop (s)
81 #else
82 # define  _(s) (s)
83 # define N_(s)  s
84 #endif
85
86 #include <X11/xpm.h>
87
88 // [HGM] pixmaps of some ICONS used in the engine-outut window
89 #include "pixmaps/WHITE_14.xpm"
90 #include "pixmaps/BLACK_14.xpm"
91 #include "pixmaps/CLEAR_14.xpm"
92 #include "pixmaps/UNKNOWN_14.xpm"
93 #include "pixmaps/THINKING_14.xpm"
94 #include "pixmaps/PONDER_14.xpm"
95 #include "pixmaps/ANALYZING_14.xpm"
96
97 #ifdef SNAP
98 #include "wsnap.h"
99 #endif
100
101 #define _LL_ 100
102
103 Pixmap icons[8]; // [HGM] this front-end array translates back-end icon indicator to handle
104 Widget outputField[2][7]; // [HGM] front-end array to translate output field to window handle
105
106 void EngineOutputPopDown();
107 void engineOutputPopUp();
108 int  EngineOutputIsUp();
109 void SetEngineColorIcon( int which );
110
111 //extern WindowPlacement wpEngineOutput;
112
113 Position engineOutputX = -1, engineOutputY = -1;
114 Dimension engineOutputW, engineOutputH;
115 Widget engineOutputShell;
116 static int engineOutputDialogUp;
117
118 /* Module variables */
119 int  windowMode = 1;
120 static int currentPV, highTextStart[2], highTextEnd[2];
121
122 typedef struct {
123     char * name;
124     int which;
125     int depth;
126     u64 nodes;
127     int score;
128     int time;
129     char * pv;
130     char * hint;
131     int an_move_index;
132     int an_move_count;
133 } EngineOutputData;
134
135 //static void UpdateControls( EngineOutputData * ed );
136
137 void
138 ReadIcon (char *pixData[], int iconNr)
139 {
140     int r;
141
142         if ((r=XpmCreatePixmapFromData(xDisplay, XtWindow(outputField[0][nColorIcon]),
143                                        pixData,
144                                        &(icons[iconNr]),
145                                        NULL, NULL /*&attr*/)) != 0) {
146           fprintf(stderr, _("Error %d loading icon image\n"), r);
147           exit(1);
148         }
149 }
150
151 static void
152 InitializeEngineOutput ()
153 {
154         ReadIcon(WHITE_14,   nColorWhite);
155         ReadIcon(BLACK_14,   nColorBlack);
156         ReadIcon(UNKNOWN_14, nColorUnknown);
157
158         ReadIcon(CLEAR_14,   nClear);
159         ReadIcon(PONDER_14,  nPondering);
160         ReadIcon(THINK_14,   nThinking);
161         ReadIcon(ANALYZE_14, nAnalyzing);
162 }
163
164 void
165 DoSetWindowText (int which, int field, char *s_label)
166 {
167         Arg arg;
168
169         XtSetArg(arg, XtNlabel, (XtArgVal) s_label);
170         XtSetValues(outputField[which][field], &arg, 1);
171 }
172
173 void
174 SetEngineOutputTitle (char *title)
175 {
176         Arg arg;
177         XtSetArg(arg, XtNtitle, (XtArgVal) title);
178         XtSetValues(engineOutputShell, &arg, 1);
179 }
180
181 void
182 InsertIntoMemo (int which, char * text, int where)
183 {
184         XawTextBlock t;
185         Widget edit;
186
187         /* the backend adds \r\n, which is needed for winboard,
188          * for xboard we delete them again over here */
189         if(t.ptr = strchr(text, '\r')) *t.ptr = ' ';
190
191         t.ptr = text; t.firstPos = 0; t.length = strlen(text); t.format = XawFmt8Bit;
192         edit = XtNameToWidget(engineOutputShell, which ? "*form2.text" : "*form.text");
193         XawTextReplace(edit, where, where, &t);
194         if(where < highTextStart[which]) { // [HGM] multiPVdisplay: move highlighting
195             int len = strlen(text);
196             highTextStart[which] += len; highTextEnd[which] += len;
197             XawTextSetSelection( outputField[which][nMemo], highTextStart[which], highTextEnd[which] );
198         }
199 }
200
201 void
202 SetIcon (int which, int field, int nIcon)
203 {
204     Arg arg;
205
206     if( nIcon != 0 ) {
207         XtSetArg(arg, XtNleftBitmap, (XtArgVal) icons[nIcon]);
208         XtSetValues(outputField[which][field], &arg, 1);
209     }
210 }
211
212 void
213 DoClearMemo (int which)
214 {
215     Widget edit = XtNameToWidget(engineOutputShell, which ? "*form2.text" : "*form.text");
216     Arg arg;
217 //    XtCallActionProc(edit, "select-all", NULL, NULL, 0);
218 //    XtCallActionProc(edit, "kill-selection", NULL, NULL, 0);
219     XtSetArg(arg, XtNstring, ""); // clear without disturbing selection!
220     XtSetValues(edit, &arg, 1);
221 }
222
223 // cloned from CopyPositionProc. Abuse selected_fen_position to hold selection
224
225 Boolean SendPositionSelection(Widget w, Atom *selection, Atom *target,
226                  Atom *type_return, XtPointer *value_return,
227                  unsigned long *length_return, int *format_return); // from xboard.c
228 void SetFocus(Widget w, XtPointer data, XEvent *event, Boolean *b); // from xoptions.c
229
230 char memoTranslations[] =
231 ":Ctrl<Key>c: CopyMemoProc() \n \
232 <Btn3Motion>: HandlePV() \n \
233 Shift<Btn3Down>: select-start() SelectPV(1) \n \
234 Any<Btn3Down>: select-start() SelectPV(0) \n \
235 <Btn3Up>: extend-end() StopPV() \n";
236
237 void
238 SelectPV (Widget w, XEvent * event, String * params, Cardinal * nParams)
239 {       // [HGM] pv: translate click to PV line, and load it for display
240         String val;
241         int start, end;
242         XawTextPosition index, dummy;
243         int x, y;
244         Arg arg;
245
246         x = event->xmotion.x; y = event->xmotion.y;
247         currentPV = (w == outputField[1][nMemo]);
248         XawTextGetSelectionPos(w, &index, &dummy);
249         XtSetArg(arg, XtNstring, &val);
250         XtGetValues(w, &arg, 1);
251         shiftKey = strcmp(params[0], "0");
252         if(LoadMultiPV(x, y, val, index, &start, &end)) {
253             XawTextSetSelection( outputField[currentPV][nMemo], start, end );
254             highTextStart[currentPV] = start; highTextEnd[currentPV] = end;
255         }
256 }
257
258 void
259 StopPV (Widget w, XEvent * event, String * params, Cardinal * nParams)
260 {       // [HGM] pv: on right-button release, stop displaying PV
261         XawTextUnsetSelection( w );
262         highTextStart[currentPV] = highTextEnd[currentPV] = 0;
263         UnLoadPV();
264 }
265
266 static void
267 MemoCB (Widget w, XtPointer client_data, Atom *selection,
268         Atom *type, XtPointer value, unsigned long *len, int *format)
269 {
270   if (value==NULL || *len==0) return; /* nothing had been selected to copy */
271   selected_fen_position = value;
272   selected_fen_position[*len]='\0'; /* normally this string is terminated, but be safe */
273     XtOwnSelection(menuBarWidget, XA_CLIPBOARD(xDisplay),
274                    CurrentTime,
275                    SendPositionSelection,
276                    NULL/* lose_ownership_proc */ ,
277                    NULL/* transfer_done_proc */);
278 }
279
280 void
281 CopyMemoProc (Widget w, XEvent *event, String *prms, Cardinal *nprms)
282 {
283     if(appData.pasteSelection) return;
284     if (selected_fen_position) free(selected_fen_position);
285     XtGetSelectionValue(menuBarWidget,
286       XA_PRIMARY, XA_STRING,
287       /* (XtSelectionCallbackProc) */ MemoCB,
288       NULL, /* client_data passed to PastePositionCB */
289
290       /* better to use the time field from the event that triggered the
291        * call to this function, but that isn't trivial to get
292        */
293       CurrentTime
294     );
295 }
296
297 // The following routines are mutated clones of the commentPopUp routines
298
299 void
300 PositionControlSet (int which, Widget shell, Widget form, Dimension bw_width)
301 {
302     Arg args[16];
303     Widget edit, NameWidget, ColorWidget, ModeWidget, MoveWidget, NodesWidget;
304     int j, mutable=1;
305     j = 0;
306     XtSetArg(args[j], XtNborderWidth, (XtArgVal) 0); j++;
307     XtSetArg(args[j], XtNlabel,     (XtArgVal) ""); j++;
308     XtSetArg(args[j], XtNtop,       XtChainTop); j++;
309     XtSetArg(args[j], XtNbottom,    XtChainTop); j++;
310     XtSetArg(args[j], XtNleft,      XtChainLeft); j++;
311     XtSetArg(args[j], XtNright,     XtChainLeft); j++;
312     XtSetArg(args[j], XtNwidth,     (XtArgVal) 17); j++;
313     outputField[which][nColorIcon] = ColorWidget =
314       XtCreateManagedWidget("Color", labelWidgetClass,
315                      form, args, j);
316
317     j = 0;
318     XtSetArg(args[j], XtNborderWidth, (XtArgVal) 0); j++;
319     XtSetArg(args[j], XtNjustify,   (XtArgVal) XtJustifyLeft); j++;
320     XtSetArg(args[j], XtNfromHoriz, (XtArgVal) ColorWidget); j++;
321     XtSetArg(args[j], XtNtop,       XtChainTop); j++;
322     XtSetArg(args[j], XtNbottom,    XtChainTop); j++;
323     XtSetArg(args[j], XtNleft,      XtChainLeft); j++;
324     XtSetArg(args[j], XtNwidth,     (XtArgVal) bw_width/2 - 57); j++;
325     outputField[which][nLabel] = NameWidget =
326       XtCreateManagedWidget("Engine", labelWidgetClass,
327                      form, args, j);
328
329     j = 0;
330     XtSetArg(args[j], XtNborderWidth, (XtArgVal) 0); j++;
331     XtSetArg(args[j], XtNlabel,     (XtArgVal) ""); j++;
332     XtSetArg(args[j], XtNfromHoriz, (XtArgVal) NameWidget); j++;
333     XtSetArg(args[j], XtNtop,       XtChainTop); j++;
334     XtSetArg(args[j], XtNbottom,    XtChainTop); j++;
335     XtSetArg(args[j], XtNwidth,     (XtArgVal) 20); j++;
336     outputField[which][nStateIcon] = ModeWidget =
337       XtCreateManagedWidget("Mode", labelWidgetClass,
338                      form, args, j);
339
340     j = 0;
341     XtSetArg(args[j], XtNborderWidth, (XtArgVal) 0); j++;
342     XtSetArg(args[j], XtNjustify,   (XtArgVal) XtJustifyLeft); j++;
343     XtSetArg(args[j], XtNlabel,     (XtArgVal) ""); j++;
344     XtSetArg(args[j], XtNfromHoriz, (XtArgVal) ModeWidget); j++;
345     XtSetArg(args[j], XtNtop,       XtChainTop); j++;
346     XtSetArg(args[j], XtNbottom,    XtChainTop); j++;
347     XtSetArg(args[j], XtNright,     XtChainRight); j++;
348     XtSetArg(args[j], XtNwidth,     (XtArgVal) bw_width/2 - 102); j++;
349     outputField[which][nStateData] = MoveWidget =
350       XtCreateManagedWidget("Move", labelWidgetClass,
351                      form, args, j);
352
353     j = 0;
354     XtSetArg(args[j], XtNborderWidth, (XtArgVal) 0); j++;
355     XtSetArg(args[j], XtNjustify,   (XtArgVal) XtJustifyRight); j++;
356     XtSetArg(args[j], XtNlabel,     (XtArgVal) _("NPS")); j++;
357     XtSetArg(args[j], XtNfromHoriz, (XtArgVal) MoveWidget); j++;
358     XtSetArg(args[j], XtNtop,       XtChainTop); j++;
359     XtSetArg(args[j], XtNbottom,    XtChainTop); j++;
360     XtSetArg(args[j], XtNleft,      XtChainRight); j++;
361     XtSetArg(args[j], XtNright,     XtChainRight); j++;
362     XtSetArg(args[j], XtNwidth,     (XtArgVal) 100); j++;
363     outputField[which][nLabelNPS] = NodesWidget =
364       XtCreateManagedWidget("Nodes", labelWidgetClass,
365                      form, args, j);
366
367     // create "text" within "form"
368     j = 0;
369     if (mutable) {
370         XtSetArg(args[j], XtNeditType, XawtextEdit);  j++;
371         XtSetArg(args[j], XtNuseStringInPlace, False);  j++;
372     }
373     XtSetArg(args[j], XtNstring, "");  j++;
374     XtSetArg(args[j], XtNdisplayCaret, False);  j++;
375     XtSetArg(args[j], XtNtop, XtChainTop);  j++;
376     XtSetArg(args[j], XtNbottom, XtChainBottom);  j++;
377     XtSetArg(args[j], XtNleft, XtChainLeft);  j++;
378     XtSetArg(args[j], XtNright, XtChainRight);  j++;
379     XtSetArg(args[j], XtNresizable, True);  j++;
380     XtSetArg(args[j], XtNwidth, bw_width);  j++; /*force wider than buttons*/
381     /* !!Work around an apparent bug in XFree86 4.0.1 (X11R6.4.3) */
382     XtSetArg(args[j], XtNscrollVertical, XawtextScrollAlways);  j++;
383     XtSetArg(args[j], XtNscrollHorizontal, XawtextScrollWhenNeeded);  j++;
384 //    XtSetArg(args[j], XtNautoFill, True);  j++;
385 //    XtSetArg(args[j], XtNwrap, XawtextWrapWord); j++;
386     outputField[which][nMemo] = edit =
387       XtCreateManagedWidget("text", asciiTextWidgetClass, form, args, j);
388
389     XtOverrideTranslations(edit, XtParseTranslationTable(memoTranslations));
390     XtAddEventHandler(edit, ButtonPressMask, False, SetFocus, (XtPointer) shell);
391
392     j = 0;
393     XtSetArg(args[j], XtNfromVert, ColorWidget); j++;
394 //    XtSetArg(args[j], XtNresizable, (XtArgVal) True); j++;
395     XtSetValues(edit, args, j);
396 }
397
398 Widget
399 EngineOutputCreate (char *name, char *text)
400 {
401     Arg args[16];
402     Widget shell, layout, form, form2;
403     Dimension bw_width, bw_height;
404     int j;
405
406     // get board width
407     j = 0;
408     XtSetArg(args[j], XtNwidth,  &bw_width);  j++;
409     XtSetArg(args[j], XtNheight, &bw_height);  j++;
410     XtGetValues(boardWidget, args, j);
411
412     // define form within layout within shell.
413     j = 0;
414     XtSetArg(args[j], XtNresizable, True);  j++;
415     shell =
416 #if TOPLEVEL
417      XtCreatePopupShell(name, topLevelShellWidgetClass,
418 #else
419       XtCreatePopupShell(name, transientShellWidgetClass,
420 #endif
421                          shellWidget, args, j);
422     layout =
423       XtCreateManagedWidget(layoutName, formWidgetClass, shell,
424                             layoutArgs, XtNumber(layoutArgs));
425     // divide window vertically into two equal parts, by creating two forms
426     form =
427       XtCreateManagedWidget("form", formWidgetClass, layout,
428                             formArgs, XtNumber(formArgs));
429     form2 =
430       XtCreateManagedWidget("form2", formWidgetClass, layout,
431                             formArgs, XtNumber(formArgs));
432     j = 0;
433     XtSetArg(args[j], XtNfromVert,  (XtArgVal) form); j++;
434     XtSetValues(form2, args, j);
435     // make sure width is known in advance, for better placement of child widgets
436     j = 0;
437     XtSetArg(args[j], XtNwidth,     (XtArgVal) bw_width-16); j++;
438     XtSetArg(args[j], XtNheight,    (XtArgVal) bw_height/2); j++;
439     XtSetValues(shell, args, j);
440
441     // fill up both forms with control elements
442     PositionControlSet(0, shell, form,  bw_width);
443     PositionControlSet(1, shell, form2, bw_width);
444
445     XtRealizeWidget(shell);
446
447     if(wpEngineOutput.width > 0) {
448       engineOutputW = wpEngineOutput.width;
449       engineOutputH = wpEngineOutput.height;
450       engineOutputX = wpEngineOutput.x;
451       engineOutputY = wpEngineOutput.y;
452     }
453
454     if (engineOutputX == -1) {
455         int xx, yy;
456         Window junk;
457
458         engineOutputH = bw_height/2;
459         engineOutputW = bw_width-16;
460
461         XSync(xDisplay, False);
462 #ifdef NOTDEF
463         /* This code seems to tickle an X bug if it is executed too soon
464            after xboard starts up.  The coordinates get transformed as if
465            the main window was positioned at (0, 0).
466            */
467         XtTranslateCoords(shellWidget,
468                           (bw_width - engineOutputW) / 2, 0 - engineOutputH / 2,
469                           &engineOutputX, &engineOutputY);
470 #else  /*!NOTDEF*/
471         XTranslateCoordinates(xDisplay, XtWindow(shellWidget),
472                               RootWindowOfScreen(XtScreen(shellWidget)),
473                               (bw_width - engineOutputW) / 2, 0 - engineOutputH / 2,
474                               &xx, &yy, &junk);
475         engineOutputX = xx;
476         engineOutputY = yy;
477 #endif /*!NOTDEF*/
478         if (engineOutputY < 0) engineOutputY = 0; /*avoid positioning top offscreen*/
479     }
480     j = 0;
481     XtSetArg(args[j], XtNheight, engineOutputH);  j++;
482     XtSetArg(args[j], XtNwidth, engineOutputW);  j++;
483     XtSetArg(args[j], XtNx, engineOutputX);  j++;
484     XtSetArg(args[j], XtNy, engineOutputY);  j++;
485     XtSetValues(shell, args, j);
486
487     return shell;
488 }
489
490 void
491 ResizeWindowControls (int mode)
492 {
493     Widget form1, form2;
494     Arg args[16];
495     int j;
496     Dimension ew_height, tmp;
497     Widget shell = engineOutputShell;
498
499     form1 = XtNameToWidget(shell, "*form");
500     form2 = XtNameToWidget(shell, "*form2");
501
502     j = 0;
503     XtSetArg(args[j], XtNheight, (XtArgVal) &ew_height); j++;
504     XtGetValues(form1, args, j);
505     j = 0;
506     XtSetArg(args[j], XtNheight, (XtArgVal) &tmp); j++;
507     XtGetValues(form2, args, j);
508     ew_height += tmp; // total height
509
510     if(mode==0) {
511         j = 0;
512         XtSetArg(args[j], XtNheight, (XtArgVal) 5); j++;
513         XtSetValues(form2, args, j);
514         j = 0;
515         XtSetArg(args[j], XtNheight, (XtArgVal) (ew_height-5)); j++;
516         XtSetValues(form1, args, j);
517     } else {
518         j = 0;
519         XtSetArg(args[j], XtNheight, (XtArgVal) (ew_height/2)); j++;
520         XtSetValues(form1, args, j);
521         j = 0;
522         XtSetArg(args[j], XtNheight, (XtArgVal) (ew_height/2)); j++;
523         XtSetValues(form2, args, j);
524     }
525 }
526
527 void
528 EngineOutputPopUp ()
529 {
530     Arg args[16];
531     int j;
532     Widget edit;
533     static int  needInit = TRUE;
534     static char *title = N_("Engine output"), *text = N_("This feature is experimental");
535
536     if (engineOutputShell == NULL) {
537         engineOutputShell =
538           EngineOutputCreate(_(title), _(text));
539         XtRealizeWidget(engineOutputShell);
540         CatchDeleteWindow(engineOutputShell, "EngineOutputPopDown");
541         if( needInit ) {
542             InitializeEngineOutput();
543             needInit = FALSE;
544         }
545         SetEngineColorIcon( 0 );
546         SetEngineColorIcon( 1 );
547         SetEngineState( 0, STATE_IDLE, "" );
548         SetEngineState( 1, STATE_IDLE, "" );
549     } else {
550         edit = XtNameToWidget(engineOutputShell, "*form.text");
551         j = 0;
552         XtSetArg(args[j], XtNstring, text); j++;
553         XtSetValues(edit, args, j);
554         j = 0;
555         XtSetArg(args[j], XtNiconName, (XtArgVal) _(title));   j++;
556         XtSetArg(args[j], XtNtitle, (XtArgVal) _(title));      j++;
557         XtSetValues(engineOutputShell, args, j);
558     }
559
560     XtPopup(engineOutputShell, XtGrabNone);
561     XSync(xDisplay, False);
562
563     j=0;
564     XtSetArg(args[j], XtNleftBitmap, xMarkPixmap); j++;
565     XtSetValues(XtNameToWidget(menuBarWidget, "menuView.Show Engine Output"),
566                 args, j);
567
568     engineOutputDialogUp = True;
569     ShowThinkingEvent(); // [HGM] thinking: might need to prompt engine for thinking output
570 }
571
572 void
573 EngineOutputPopDown ()
574 {
575     Arg args[16];
576     int j;
577
578     if (!engineOutputDialogUp) return;
579     DoClearMemo(1);
580     j = 0;
581     XtSetArg(args[j], XtNx, &engineOutputX); j++;
582     XtSetArg(args[j], XtNy, &engineOutputY); j++;
583     XtSetArg(args[j], XtNwidth, &engineOutputW); j++;
584     XtSetArg(args[j], XtNheight, &engineOutputH); j++;
585     XtGetValues(engineOutputShell, args, j);
586     wpEngineOutput.x = engineOutputX - 4;
587     wpEngineOutput.y = engineOutputY - 23;
588     wpEngineOutput.width = engineOutputW;
589     wpEngineOutput.height = engineOutputH;
590     XtPopdown(engineOutputShell);
591     XSync(xDisplay, False);
592     j=0;
593     XtSetArg(args[j], XtNleftBitmap, None); j++;
594     XtSetValues(XtNameToWidget(menuBarWidget, "menuView.Show Engine Output"),
595                 args, j);
596
597     engineOutputDialogUp = False;
598     ShowThinkingEvent(); // [HGM] thinking: might need to shut off thinking output
599 }
600
601 int
602 EngineOutputIsUp ()
603 {
604     return engineOutputDialogUp;
605 }
606
607 int
608 EngineOutputDialogExists ()
609 {
610     return engineOutputShell != NULL;
611 }
612
613 void
614 EngineOutputProc (Widget w, XEvent *event, String *prms, Cardinal *nprms)
615 {
616   if (engineOutputDialogUp) {
617     EngineOutputPopDown();
618   } else {
619     EngineOutputPopUp();
620   }
621 }