I just took a look at xboard in German. You're right the wide menu. But in -size tiny there is also another problem: You cannot see the seconds on the clock for Schwarz (Black).
Well, that is a problem the user can fix (without side effects) by specifying a smaller -clockFont.
_______________________________________________ Bug-XBoard mailing list Bug-XBoard@gnu.org https://lists.gnu.org/mailman/listinfo/bug-xboard