Yes, I read out the widget-tree and relevant resources with 'editres',
and tried to alter them both with editres, and in the apps' own
xdefaults-resource file: I succeeded in changing the color (just to
make sure I had the right instance), but not the size (height,
marginHeight etc.)... I tried for the button itself and for enclosing
containers (xmforms, xmrowcolumns) higher in the widget tree (that is
parents of the button).
Yes, I'm pretty sure the orientation is set to Vertical: functionally
the menu works just fine, showing all menu-items correctly.
On IRIX (Unix) systems, the height of the menu is correct. It seems to
me in Linux, the height of the buttons is somehow enforced ...
I have seen this problem mentioned elsewhere, but at the time, no
answer was found/given, and I could not get in contact with the