Fix width of menu bar
[xboard.git] / gtk /
drwxr-xr-x   ..
-rw-r--r-- 0 .dirstamp
-rw-r--r-- 66242 xboard.c
-rw-r--r-- 6647 xboard.h
-rw-r--r-- 3918 xengineoutput.c
-rw-r--r-- 62156 xoptions.c
-rw-r--r-- 5690 xtimer.c