partly fix for bug #27715: scaling of menu bar

[xboard.git] / xboard.c

diff --git a/xboard.c b/xboard.c
index 9d0a314..909ca85 100644 (file)
--- a/xboard.c
+++ b/xboard.c
@@ -2777,6 +2777,7 @@ XBoard square size (hint): %d\n\
     widgetList[j++] = menuBarWidget = CreateMenuBar(menuBar);
     XtSetArg(args[0], XtNtop,    XtChainTop);
     XtSetArg(args[1], XtNbottom, XtChainTop);
+    XtSetArg(args[1], XtNright,  XtChainLeft);
     XtSetValues(menuBarWidget, args, 2);
 
     widgetList[j++] = whiteTimerWidget =